Dart 3.15 this 类型提升通常会被理解成“把 this 在运行时改成子类”，实际变化只发生在静态分析阶段：经过成功的 this is Child 类型测试后，分析器会在该控制流路径内把 this 提升为 C…