pkg/front_end/testcases/inference/null_coalescing_operator_2.dart.strong.expect

library test;
import self as self;
import "dart:core" as core;

static method main() → dynamic {
  core::List<core::int*>* x;
  core::List<core::num*>* y = let final core::List<core::int*>* #t1 = x in #t1.{core::List::==}(null) ?{core::List<core::num*>*} <core::num*>[] : #t1;
}