除局部变量外的Dart类型提升规则历史查询

作为资深C/C++/Java/Python开发者，刚接触Dart时在3.2.3版本测试类型提升，编写了如下代码：

class A {
}

class B extends A {
  void test() {
  }
}

class C {
  final A a;
  C(this.a);
  void test() {
    // if (a is B) a.test(); // 编译错误
  }
}

void main() {
  A a = B();
  if (a is B) a.test(); // 局部变量可正常类型提升

  List<A> l = [B()];
  //if (l[0] is B) l[0].test(); // 编译错误

  var c = C(B());
  //if (c.a is B) c.a.test(); // 编译错误
  c.test();
}

测试发现类成员、列表元素这类非局部变量无法触发类型提升，会导致编译错误。查阅2024年1月的Dart语言规范草案（Version 2.13-dev），其中仅提及局部变量的类型提升规则，但官方文档提到“Dart 3.2前仅局部变量可提升”，暗示存在非局部变量类型提升规则的相关历史，可通过以下途径查询该规则历史：

• Dart语言规范历史版本：在Dart官方代码仓库的spec目录中，可找到不同版本的语言规范历史提交，追溯类型提升规则的迭代变化，包括是否曾针对非局部变量有过规则设计或调整。
• Dart SDK发布日志：每个SDK版本的发布说明会明确记录类型系统的变更细节，可通过各版本日志查看Dart 3.2前后类型提升规则的演进，找到非局部变量相关的规则历史。
• Dart语言演进提案：Dart的重大语言特性变更均有对应的官方提案，这些提案会完整记录特性的讨论、设计与修改过程，其中可能包含非局部变量类型提升的相关讨论或尝试。
• Dart官方文档归档：dart.dev提供旧版本文档的归档，可查看不同时期关于类型提升的官方说明，同时官方论坛的历史讨论帖也可能涉及非局部变量类型提升的相关内容。

内容的提问来源于stack exchange，提问作者relent95