library;
//
// Problems in library:
//
// pkg/front_end/testcases/regress/issue_31180.dart:6:15: Error: This requires the null safety language feature, which is experimental.
// You can enable the experiment using the '--enable-experiment=non-nullable' command line option.
//   return null?[1];
//               ^
//
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 {}