extension_type_with_abstract_member

'{0}' はメソッド本体を持つ必要があります。なぜなら、'{1}' は拡張型だからです。

拡張型が抽象メンバーを宣言すると、アナライザーはこの診断を生成します。拡張型のメンバー参照は静的に解決されるため、拡張型の抽象メンバーは決して実行されることがありません。

拡張型 `E` のメソッド `m` が抽象であるため、以下のコードは診断を生成します。

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

メンバーが実行可能であることを意図している場合は、メンバーの実装を提供してください。

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

メンバーが実行可能であることを意図していない場合は、削除してください。

extension type E(String s) {}