pkg/front_end/testcases/inference_update_3/if_null_test.dart.strong.expect

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

class A extends core::Object {
  synthetic constructor •() → self::A
    : super core::Object::•()
    ;
}
class B1<T extends core::Object? = dynamic> extends core::Object implements self::A {
  synthetic constructor •() → self::B1<self::B1::T%>
    : super core::Object::•()
    ;
}
class B2<T extends core::Object? = dynamic> extends core::Object implements self::A {
  synthetic constructor •() → self::B2<self::B2::T%>
    : super core::Object::•()
    ;
}
class C1<T extends core::Object? = dynamic> extends core::Object implements self::B1<self::C1::T%>, self::B2<self::C1::T%> {
  synthetic constructor •() → self::C1<self::C1::T%>
    : super core::Object::•()
    ;
}
class C2<T extends core::Object? = dynamic> extends core::Object implements self::B1<self::C2::T%>, self::B2<self::C2::T%> {
  synthetic constructor •() → self::C2<self::C2::T%>
    : super core::Object::•()
    ;
}
static method contextIterable<T extends core::Object? = dynamic>(core::Iterable<self::contextIterable::T%> x) → core::Iterable<self::contextIterable::T%>
  return x;
static method contextB1<T extends core::Object? = dynamic>(self::B1<self::contextB1::T%> x) → self::B1<self::contextB1::T%>
  return x;
static method main() → dynamic {
  self::C1<core::int>? c1IntQuestion = null as self::C1<core::int>?;
  self::C2<core::double> c2Double = new self::C2::•<core::double>();
  self::contextB1<dynamic>(let final self::C1<core::int>? #t1 = c1IntQuestion in #t1 == null ?{self::B1<dynamic>} c2Double : #t1{self::C1<core::int>});
  core::Iterable<core::int>? iterableIntQuestion = null as core::Iterable<core::int>?;
  core::List<core::num> listNum = <core::num>[];
  self::contextIterable<core::num>(let final core::Iterable<core::int>? #t2 = iterableIntQuestion in #t2 == null ?{core::Iterable<core::num>} listNum : #t2{core::Iterable<core::int>});
}