------------ C. ------------
%this = _Parameter #0 [_T (#lib::C)+]
t1 = _Call direct [dart.core::Object.] (%this)
RESULT: _T {}?
------------ C.foo ------------
%this = _Parameter #0 [_T (#lib::C)+]
t1 = _Extract (%this[#lib::C/0]*)
t2 = _CreateConcreteType (#lib::D @ (t1))
t3 = _Call direct [#lib::D.] (t2)
RESULT: t2
------------ C.id1 ------------
%this = _Parameter #0 [_T (#lib::C)+]
%x = _Parameter #1
t2 = _Extract (%this[#lib::C/0]*)
t3 = _TypeCheck (%x against t2) (for #lib::C.T* x;)
RESULT: t3
------------ C.id2 ------------
%this = _Parameter #0 [_T (#lib::C)+]
%x = _Parameter #1
t2 = _Extract (%this[#lib::C/0]*)
t3 = _TypeCheck (%x against t2) (for #lib::C.T* x;)
RESULT: t3
------------ D. ------------
%this = _Parameter #0 [_T (#lib::D)+]
t1 = _Call direct [dart.core::Object.] (%this)
RESULT: _T {}?
------------ E. ------------
%this = _Parameter #0 [_T (#lib::E)+]
t1 = _Call direct [#lib::C.] (%this)
RESULT: _T {}?
------------ E.foo ------------
%this = _Parameter #0 [_T (#lib::E)+]
t1* = _Call direct [#lib::C.foo] (%this)
RESULT: t1
------------ E.bar ------------
%this = _Parameter #0 [_T (#lib::E)+]
t1 = _Extract (%this[#lib::E/0]*)
t2 = _CreateConcreteType (#lib::D @ (t1))
t3 = _Call direct [#lib::D.] (t2)
RESULT: t2
------------ E.baz ------------
%this = _Parameter #0 [_T (#lib::E)+]
t1 = _Extract (%this[#lib::E/1]*)
t2 = _CreateConcreteType (#lib::D @ (t1))
t3 = _Call direct [#lib::D.] (t2)
RESULT: t2
------------ X. ------------
%this = _Parameter #0 [_T (#lib::X)+]
t1 = _Call direct [dart.core::Object.] (%this)
RESULT: _T {}?
------------ Y. ------------
%this = _Parameter #0 [_T (#lib::Y)+]
t1 = _Call direct [#lib::X.] (%this)
RESULT: _T {}?
------------ Z. ------------
%this = _Parameter #0 [_T (#lib::Z)+]
t1 = _Call direct [#lib::X.] (%this)
RESULT: _T {}?
------------ I. ------------
%this = _Parameter #0 [_T (#lib::I)+]
t1 = _Call direct [dart.core::Object.] (%this)
RESULT: _T {}?
------------ J. ------------
%this = _Parameter #0 [_T (#lib::J)+]
t1 = _Call direct [#lib::I.] (%this)
RESULT: _T {}?
------------ K. ------------
%this = _Parameter #0 [_T (#lib::K)+]
t1 = _Call direct [dart.core::Object.] (%this)
RESULT: _T {}?
------------ C2. ------------
%this = _Parameter #0 [_T (#lib::C2)+]
t1 = _Call direct [dart.core::Object.] (%this)
RESULT: _T {}?
------------ C2.id3 ------------
%this = _Parameter #0 [_T (#lib::C2)+]
%x = _Parameter #1
t2 = _Extract (%this[#lib::C2/0]*)
t3 = _CreateRuntimeType (dart.core::Comparable @ (t2)*)
t4 = _TypeCheck (%x against t3) (for dart.core::Comparable<#lib::C2.T*>* x;)
RESULT: t4
------------ C2.id4 ------------
%this = _Parameter #0 [_T (#lib::C2)+]
%x = _Parameter #1
t2 = _Extract (%this[#lib::C2/0]*)
t3 = _CreateRuntimeType (#lib::I @ (t2)*)
t4 = _CreateRuntimeType (#lib::K @ (t3)*)
t5 = _TypeCheck (%x against t4) (for #lib::K<#lib::I<#lib::C2.T*>*>* x;)
RESULT: t5
------------ main ------------
t0 = _Call direct [#lib::C.] (_T (#lib::C<dart.core::int*>))
t1 = _Call [#lib::C.foo] (_T (#lib::C<dart.core::int*>))
t2 = _Call direct [#lib::E.] (_T (#lib::E<dart.core::int*, dart.core::String*>))
t3 = _Call [#lib::E.foo] (_T (#lib::E<dart.core::int*, dart.core::String*>))
t4 = _Call direct [#lib::E.] (_T (#lib::E<dart.core::int*, dart.core::String*>))
t5 = _Call [#lib::E.bar] (_T (#lib::E<dart.core::int*, dart.core::String*>))
t6 = _Call direct [#lib::E.] (_T (#lib::E<dart.core::int*, dart.core::String*>))
t7* = _Call [#lib::E.baz] (_T (#lib::E<dart.core::int*, dart.core::String*>))
t8 = _Call direct [#lib::C.] (_T (#lib::C<#lib::Y*>))
t9 = _Call direct [#lib::Y.] (_T (#lib::Y))
t10 = _Call [#lib::C.id1] (_T (#lib::C<#lib::Y*>), _T (#lib::Y))
t11 = _Call direct [#lib::Z.] (_T (#lib::Z))
t12 = _Call [#lib::C.id2] (_T (#lib::C<#lib::Y*>), _T (#lib::Z))
t13 = _Call direct [#lib::C2.] (_T (#lib::C2<dart.core::num*>))
t14 = _Call [#lib::C2.id3] (_T (#lib::C2<dart.core::num*>), _T (dart.core::_Double, 3.0))
t15 = _Call direct [#lib::K.] (_T (#lib::K<#lib::J*>))
t16 = _Call [#lib::C2.id4] (_T (#lib::C2<dart.core::num*>), _T (#lib::K<#lib::J*>))
RESULT: t7