| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/regress/issue_31180.dart:8: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:5:1: Context: This is the annotation that opts out this library from null safety features. |
| // // @dart=2.9 |
| // ^^^^^^^^^^^^ |
| // |
| import self as self; |
| |
| static method bad() → dynamic { |
| return let final has-declared-initializer dynamic #t1 = null in #t1 == null ?{dynamic} null : #t1{dynamic}.[](1); |
| } |
| static method main() → dynamic {} |
