| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/regress/issue_31180.dart:6:15: Error: Null safety features are disabled for this library. |
| // Try removing the `@dart=` annotation or setting the language version to 2.12 or higher. |
| // return null?[1]; |
| // ^ |
| // pkg/front_end/testcases/regress/issue_31180.dart:4:1: Context: This is the annotation that opts out this library from null safety features. |
| // // @dart=2.9 |
| // ^^^^^^^^^^^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| static method bad() → dynamic { |
| return let final<BottomType> #t1 = null in #t1.{core::Object::==}(null) ?{dynamic} null : #t1.[](1); |
| } |
| static method main() → dynamic {} |
| |
| |
| Extra constant evaluation status: |
| Evaluated: Let @ org-dartlang-testcase:///issue_31180.dart:6:10 -> NullConstant(null) |
| Extra constant evaluation: evaluated: 1, effectively constant: 1 |
