invalid_use_of_covariant_in_extension

Can't have modifier '{0}' in an extension.

O analisador gera este diagnóstico quando um membro declarado dentro de uma extensão usa a palavra-chave covariant na declaração de um parâmetro. Extensões não são classes e não têm subclasses, então a palavra-chave não tem finalidade.

O código a seguir gera este diagnóstico porque i está marcado como covariant:

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

Remova a palavra-chave covariant:

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