| 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 |
| // ^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/regress/issue_31180.dart:8:15: Error: The operator '[]' isn't defined for the class 'Null'. |
| // Try correcting the operator to an existing operator, or defining a '[]' operator. |
| // return null?[1]; |
| // ^ |
| // |
| import self as self; |
| |
| static method bad() → dynamic { |
| return let final has-declared-initializer Null #t1 = null in #t1 == null ?{dynamic} null : invalid-expression "pkg/front_end/testcases/regress/issue_31180.dart:8:15: Error: The operator '[]' isn't defined for the class 'Null'. |
| Try correcting the operator to an existing operator, or defining a '[]' operator. |
| return null?[1]; |
| ^" in #t1{<unresolved>}.[](1); |
| } |
| static method main() → dynamic {} |
