invalid_use_of_covariant_in_extension

拡張機能内に修飾子「{0}」を持つことはできません。

この診断は、拡張機能内で宣言されたメンバーが、パラメータの宣言でcovariantキーワードを使用している場合に、アナライザーによって生成されます。拡張機能はクラスではなく、サブクラスを持たないため、このキーワードは意味をなしません。

iが共変としてマークされているため、以下のコードは、この診断を生成します。

extension E on String {
  void a(covariant int i) {}
}

covariantキーワードを削除します。

extension E on String {
  void a(int i) {}
}