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) {}