extension_type_with_abstract_member

'{0}' must have a method body because '{1}' is an extension type.

O analisador produz este diagnóstico quando um tipo de extensão declara um membro abstrato. Como as referências a membros de tipos de extensão são resolvidas estaticamente, um membro abstrato em um tipo de extensão nunca poderia ser executado.

O código a seguir produz este diagnóstico porque o método m no tipo de extensão E é abstrato:

extension type E(String s) {
  void m();
}

Se o membro deve ser executável, forneça uma implementação para ele:

extension type E(String s) {
  void m() {}
}

Se o membro não deve ser executável, remova-o:

extension type E(String s) {}