library;
//
// Problems in library:
//
// pkg/front_end/testcases/regress/issue_31180.dart:6:14: Error: The method '[]' isn't defined for the class 'Null'.
// Try correcting the name to the name of an existing method, or defining a method named '[]'.
//   return null?.[1];
//              ^^
//
import self as self;

static method bad() → dynamic {
  return invalid-expression "pkg/front_end/testcases/regress/issue_31180.dart:6:14: Error: The method '[]' isn't defined for the class 'Null'.
Try correcting the name to the name of an existing method, or defining a method named '[]'.
  return null?.[1];
             ^^";
}
static method main() → dynamic {}