pkg/front_end/testcases/records/nullable_access.dart.weak.modular.expect

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/records/nullable_access.dart:6:14: Error: Property '$0' cannot be accessed on '(int, {String a})?' because it is potentially null.
// Try accessing using ?. instead.
//   var l0 = r.$0; // Error.
//              ^^
//
// pkg/front_end/testcases/records/nullable_access.dart:7:14: Error: Property 'a' cannot be accessed on '(int, {String a})?' because it is potentially null.
// Try accessing using ?. instead.
//   var l1 = r.a; // Error.
//              ^
//
// pkg/front_end/testcases/records/nullable_access.dart:13:14: Warning: Operand of null-aware operation '?.' has type '(int, {String a})' which excludes null.
//     var l6 = r?.$0; // Warning.
//              ^
//
// pkg/front_end/testcases/records/nullable_access.dart:14:14: Warning: Operand of null-aware operation '?.' has type '(int, {String a})' which excludes null.
//     var l7 = r?.a; // Warning.
//              ^
//
import self as self;
import "dart:core" as core;

static method method((core::int, {required a: core::String})? r) → dynamic {
  core::int l0 = invalid-expression "pkg/front_end/testcases/records/nullable_access.dart:6:14: Error: Property '\$0' cannot be accessed on '(int, {String a})?' because it is potentially null.
Try accessing using ?. instead.
  var l0 = r.\$0; // Error.
             ^^" in r.$0{core::int};
  core::String l1 = invalid-expression "pkg/front_end/testcases/records/nullable_access.dart:7:14: Error: Property 'a' cannot be accessed on '(int, {String a})?' because it is potentially null.
Try accessing using ?. instead.
  var l1 = r.a; // Error.
             ^" in r.a{core::String};
  core::int? l2 = let final(core::int, {required a: core::String})? #t1 = r in #t1 == null ?{core::int?} null : #t1{(core::int, {required a: core::String})}.$0{core::int};
  core::String? l3 = let final(core::int, {required a: core::String})? #t2 = r in #t2 == null ?{core::String?} null : #t2{(core::int, {required a: core::String})}.a{core::String};
  if(!(r == null)) {
    core::int l4 = r{(core::int, {required a: core::String})}.$0{core::int};
    core::String l5 = r{(core::int, {required a: core::String})}.a{core::String};
    core::int? l6 = let final(core::int, {required a: core::String}) #t3 = r{(core::int, {required a: core::String})} in #t3 == null ?{core::int?} null : #t3.$0{core::int};
    core::String? l7 = let final(core::int, {required a: core::String}) #t4 = r{(core::int, {required a: core::String})} in #t4 == null ?{core::String?} null : #t4.a{core::String};
  }
}