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

typedef IntFunc = (core::int) → dynamic;
class C1 extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
}
class C2 extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
}
class C3 extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
}
class C4 extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
}
class C5 extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
}
class C6 extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
}
class C7 extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
}
class C8 extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
}
class A<T1 extends core::Object = dynamic, T2 extends core::Object = dynamic> extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
[@vm.bytecode=
Bytecode {
  Entry                5
  CheckStack
  CheckFunctionTypeArgs 2, 0
  AllocateContext      1
  PopLocal             r1
  Push                 r1
  Push                 FP[-5]
  StoreContextVar      0
  Allocate             CP#38
  StoreLocal           r4
  Push                 r4
  Push                 r1
  LoadContextVar       0
  LoadTypeArgumentsField CP#17
  StoreFieldTOS        CP#39
  Push                 r4
  Push                 r0
  StoreFieldTOS        CP#3
  Push                 r4
  PushConstant         CP#0
  StoreFieldTOS        CP#41
  Push                 r4
  Push                 r1
  StoreFieldTOS        CP#1
  PopLocal             r3
  PushConstant         CP#51
  Push                 r3
  InstanceCall1        2, CP#52
  Drop1
  PushConstant         CP#53
  Push                 r3
  InstanceCall1        2, CP#54
  Drop1
  PushConstant         CP#18
  ReturnTOS
}
ConstantPool {
  [0] = ClosureFunction nested1 <T5 extends dart.core::Object = dynamic, T6 extends dart.core::Object = dynamic>() → void;
  [1] = InstanceField dart.core::_Closure::_context
  [2] = Reserved
  [3] = InstanceField dart.core::_Closure::_function_type_arguments
  [4] = Reserved
  [5] = Int 2
  [6] = Int 4
  [7] = ArgDesc num-args 4, num-type-args 0, names []
  [8] = StaticICData target 'dart._internal::_prependTypeArguments', arg-desc CP#7
  [9] = ClosureFunction nested2 <T7 extends dart.core::Object = dynamic, T8 extends dart.core::Object = dynamic>() → void;
  [10] = Int 6
  [11] = StaticICData target 'dart._internal::_prependTypeArguments', arg-desc CP#7
  [12] = ClosureFunction <anonymous closure> () → dart.core::Null;
  [13] = TypeArgs [dart.core::Type]
  [14] = Int 8
  [15] = Int 0
  [16] = Type #lib::A::T1
  [17] = TypeArgumentsField #lib::A
  [18] = Null
  [19] = Int 1
  [20] = Type #lib::A::T2
  [21] = Type #lib::A::foo::T3
  [22] = Int 3
  [23] = Type #lib::A::foo::T4
  [24] = Type T5
  [25] = Int 5
  [26] = Type T6
  [27] = Type T7
  [28] = Int 7
  [29] = Type T8
  [30] = ArgDesc num-args 2, num-type-args 0, names []
  [31] = StaticICData target 'dart.core::List::_fromLiteral', arg-desc CP#30
  [32] = ArgDesc num-args 1, num-type-args 0, names []
  [33] = StaticICData target 'dart.core::print', arg-desc CP#32
  [34] = TypeArgs [#lib::A::T1, #lib::A::T2, #lib::A::foo::T3, #lib::A::foo::T4, T5, T6, T7, T8]
  [35] = ArgDesc num-args 0, num-type-args 8, names []
  [36] = StaticICData target '#lib::callWithArgs', arg-desc CP#35
  [37] = EndClosureFunctionScope
  [38] = Class dart.core::_Closure
  [39] = InstanceField dart.core::_Closure::_instantiator_type_arguments
  [40] = Reserved
  [41] = InstanceField dart.core::_Closure::_function
  [42] = Reserved
  [43] = ICData target-name 'call', arg-desc CP#32
  [44] = EndClosureFunctionScope
  [45] = TypeArgs [#lib::C7, #lib::C8]
  [46] = ArgDesc num-args 1, num-type-args 2, names []
  [47] = ICData target-name 'call', arg-desc CP#46
  [48] = TypeArgs [dart.core::List<#lib::C7>, dart.core::List<#lib::C8>]
  [49] = ICData target-name 'call', arg-desc CP#46
  [50] = EndClosureFunctionScope
  [51] = TypeArgs [#lib::C5, #lib::C6]
  [52] = ICData target-name 'call', arg-desc CP#46
  [53] = TypeArgs [dart.core::List<#lib::C5>, dart.core::List<#lib::C6>]
  [54] = ICData target-name 'call', arg-desc CP#46
}
Closure CP#12 {
  Entry                4
  CheckStack
  Push                 FP[-5]
  LoadFieldTOS         CP#1
  PopLocal             r1
  Push                 FP[-5]
  LoadFieldTOS         CP#3
  PopLocal             r0
  PushConstant         CP#13
  StoreLocal           r3
  Push                 r3
  PushConstant         CP#14
  CreateArrayTOS
  StoreLocal           r3
  Push                 r3
  PushConstant         CP#15
  Push                 r1
  LoadContextVar       0
  LoadTypeArgumentsField CP#17
  PushConstant         CP#18
  InstantiateType      CP#16
  StoreIndexedTOS
  Push                 r3
  PushConstant         CP#19
  Push                 r1
  LoadContextVar       0
  LoadTypeArgumentsField CP#17
  PushConstant         CP#18
  InstantiateType      CP#20
  StoreIndexedTOS
  Push                 r3
  PushConstant         CP#5
  PushConstant         CP#18
  Push                 r0
  InstantiateType      CP#21
  StoreIndexedTOS
  Push                 r3
  PushConstant         CP#22
  PushConstant         CP#18
  Push                 r0
  InstantiateType      CP#23
  StoreIndexedTOS
  Push                 r3
  PushConstant         CP#6
  PushConstant         CP#18
  Push                 r0
  InstantiateType      CP#24
  StoreIndexedTOS
  Push                 r3
  PushConstant         CP#25
  PushConstant         CP#18
  Push                 r0
  InstantiateType      CP#26
  StoreIndexedTOS
  Push                 r3
  PushConstant         CP#10
  PushConstant         CP#18
  Push                 r0
  InstantiateType      CP#27
  StoreIndexedTOS
  Push                 r3
  PushConstant         CP#28
  PushConstant         CP#18
  Push                 r0
  InstantiateType      CP#29
  StoreIndexedTOS
  PushConstant         CP#31
  IndirectStaticCall   2, CP#30
  PushConstant         CP#33
  IndirectStaticCall   1, CP#32
  Drop1
  Push                 r1
  LoadContextVar       0
  LoadTypeArgumentsField CP#17
  Push                 r0
  InstantiateTypeArgumentsTOS 0, CP#34
  PushConstant         CP#36
  IndirectStaticCall   1, CP#35
  Drop1
  PushConstant         CP#18
  ReturnTOS

}

Closure CP#9 {
  Entry                5
  CheckStack
  Push                 FP[-5]
  LoadFieldTOS         CP#1
  PopLocal             r1
  CheckFunctionTypeArgs 2, 0
  Push                 r0
  Push                 FP[-5]
  LoadFieldTOS         CP#3
  PushConstant         CP#6
  PushConstant         CP#10
  PushConstant         CP#11
  IndirectStaticCall   4, CP#7
  PopLocal             r0
  Allocate             CP#38
  StoreLocal           r4
  Push                 r4
  Push                 r1
  LoadContextVar       0
  LoadTypeArgumentsField CP#17
  StoreFieldTOS        CP#39
  Push                 r4
  Push                 r0
  StoreFieldTOS        CP#3
  Push                 r4
  PushConstant         CP#12
  StoreFieldTOS        CP#41
  Push                 r4
  Push                 r1
  StoreFieldTOS        CP#1
  PopLocal             r3
  Push                 r3
  InstanceCall1        1, CP#43
  Drop1
  PushConstant         CP#18
  ReturnTOS

}

Closure CP#0 {
  Entry                5
  CheckStack
  Push                 FP[-5]
  LoadFieldTOS         CP#1
  PopLocal             r1
  CheckFunctionTypeArgs 2, 0
  Push                 r0
  Push                 FP[-5]
  LoadFieldTOS         CP#3
  PushConstant         CP#5
  PushConstant         CP#6
  PushConstant         CP#8
  IndirectStaticCall   4, CP#7
  PopLocal             r0
  Allocate             CP#38
  StoreLocal           r4
  Push                 r4
  Push                 r1
  LoadContextVar       0
  LoadTypeArgumentsField CP#17
  StoreFieldTOS        CP#39
  Push                 r4
  Push                 r0
  StoreFieldTOS        CP#3
  Push                 r4
  PushConstant         CP#9
  StoreFieldTOS        CP#41
  Push                 r4
  Push                 r1
  StoreFieldTOS        CP#1
  PopLocal             r3
  PushConstant         CP#45
  Push                 r3
  InstanceCall1        2, CP#47
  Drop1
  PushConstant         CP#48
  Push                 r3
  InstanceCall1        2, CP#49
  Drop1
  PushConstant         CP#18
  ReturnTOS

}
]  method foo<T3 extends core::Object = dynamic, T4 extends core::Object = dynamic>() → void {
    function nested1<T5 extends core::Object = dynamic, T6 extends core::Object = dynamic>() → void {
      function nested2<T7 extends core::Object = dynamic, T8 extends core::Object = dynamic>() → void {
        () → core::Null nested3 = () → core::Null {
          core::print(<core::Type>[self::A::T1, self::A::T2, self::A::foo::T3, self::A::foo::T4, T5, T6, T7, T8]);
          self::callWithArgs<self::A::T1, self::A::T2, self::A::foo::T3, self::A::foo::T4, T5, T6, T7, T8>();
        };
        nested3.call();
      }
      nested2.call<self::C7, self::C8>();
      nested2.call<core::List<self::C7>, core::List<self::C8>>();
    }
    nested1.call<self::C5, self::C6>();
    nested1.call<core::List<self::C5>, core::List<self::C6>>();
  }
}
class B extends core::Object {
  field core::int foo = null;
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
[@vm.bytecode=
Bytecode {
  Entry                5
  CheckStack
  AllocateContext      1
  PopLocal             r0
  Push                 r0
  Push                 FP[-5]
  StoreContextVar      0
  AllocateContext      1
  StoreLocal           r1
  Push                 r1
  Push                 r0
  StoreContextParent
  PopLocal             r0
  Push                 r0
  PushConstant         CP#0
  StoreContextVar      0
  AllocateContext      1
  StoreLocal           r1
  Push                 r1
  Push                 r0
  StoreContextParent
  PopLocal             r0
  PushConstant         CP#1
  PopLocal             r2
  Push                 r0
  PushConstant         CP#2
  StoreContextVar      0
  Allocate             CP#22
  StoreLocal           r4
  Push                 r4
  PushConstant         CP#6
  StoreFieldTOS        CP#23
  Push                 r4
  PushConstant         CP#6
  StoreFieldTOS        CP#25
  Push                 r4
  PushConstant         CP#3
  StoreFieldTOS        CP#27
  Push                 r4
  Push                 r0
  StoreFieldTOS        CP#4
  PopLocal             r3
  Push                 r3
  PushConstant         CP#32
  InstanceCall1        2, CP#33
  Drop1
  Push                 r3
  PushConstant         CP#34
  InstanceCall1        2, CP#35
  Drop1
  Push                 r2
  PushConstant         CP#36
  IndirectStaticCall   1, CP#18
  Drop1
  Push                 r0
  LoadContextVar       0
  PushConstant         CP#37
  IndirectStaticCall   1, CP#18
  Drop1
  Push                 r0
  LoadContextParent
  PopLocal             r0
  Push                 r0
  LoadContextVar       0
  PushConstant         CP#38
  IndirectStaticCall   1, CP#18
  Drop1
  Push                 r0
  LoadContextParent
  PopLocal             r0
  AllocateContext      1
  StoreLocal           r1
  Push                 r1
  Push                 r0
  StoreContextParent
  PopLocal             r0
  Push                 r0
  PushConstant         CP#39
  StoreContextVar      0
  Allocate             CP#22
  StoreLocal           r3
  Push                 r3
  PushConstant         CP#6
  StoreFieldTOS        CP#23
  Push                 r3
  PushConstant         CP#6
  StoreFieldTOS        CP#25
  Push                 r3
  PushConstant         CP#40
  StoreFieldTOS        CP#27
  Push                 r3
  Push                 r0
  StoreFieldTOS        CP#4
  PopLocal             r2
  Push                 r2
  InstanceCall1        1, CP#43
  Drop1
  Push                 r0
  LoadContextParent
  PopLocal             r0
  PushConstant         CP#6
  ReturnTOS
}
ConstantPool {
  [0] = Int 1
  [1] = Int 2
  [2] = Int 3
  [3] = ClosureFunction <anonymous closure> (dart.core::int y) → dart.core::Null;
  [4] = InstanceField dart.core::_Closure::_context
  [5] = Reserved
  [6] = Null
  [7] = Type dart.core::int
  [8] = String 'y'
  [9] = SubtypeTestCache
  [10] = ArgDesc num-args 2, num-type-args 0, names []
  [11] = ICData target-name '+', arg-desc CP#10
  [12] = Int 5
  [13] = ICData target-name '>', arg-desc CP#10
  [14] = Bool true
  [15] = Int 4
  [16] = ClosureFunction closure2 () → void;
  [17] = ICData target-name '+', arg-desc CP#10
  [18] = ArgDesc num-args 1, num-type-args 0, names []
  [19] = ICData get target-name 'foo', arg-desc CP#18
  [20] = ICData target-name '+', arg-desc CP#10
  [21] = EndClosureFunctionScope
  [22] = Class dart.core::_Closure
  [23] = InstanceField dart.core::_Closure::_instantiator_type_arguments
  [24] = Reserved
  [25] = InstanceField dart.core::_Closure::_function_type_arguments
  [26] = Reserved
  [27] = InstanceField dart.core::_Closure::_function
  [28] = Reserved
  [29] = ICData target-name 'call', arg-desc CP#18
  [30] = StaticICData target 'dart.core::print', arg-desc CP#18
  [31] = EndClosureFunctionScope
  [32] = Int 10
  [33] = ICData target-name 'call', arg-desc CP#10
  [34] = Int 11
  [35] = ICData target-name 'call', arg-desc CP#10
  [36] = StaticICData target 'dart.core::print', arg-desc CP#18
  [37] = StaticICData target 'dart.core::print', arg-desc CP#18
  [38] = StaticICData target 'dart.core::print', arg-desc CP#18
  [39] = Int 42
  [40] = ClosureFunction <anonymous closure> () → dart.core::Null;
  [41] = ICData set target-name 'foo', arg-desc CP#10
  [42] = EndClosureFunctionScope
  [43] = ICData target-name 'call', arg-desc CP#18
}
Closure CP#16 {
  Entry                3
  CheckStack
  Push                 FP[-5]
  LoadFieldTOS         CP#4
  PopLocal             r0
  Push                 r0
  LoadContextParent
  LoadContextParent
  Push                 r0
  LoadContextParent
  LoadContextParent
  LoadContextParent
  LoadContextVar       0
  PushConstant         CP#1
  InstanceCall1        2, CP#17
  StoreContextVar      0
  Push                 r0
  Push                 r0
  LoadContextParent
  LoadContextParent
  LoadContextParent
  LoadContextParent
  LoadContextVar       0
  InstanceCall1        1, CP#19
  Push                 r0
  LoadContextParent
  LoadContextVar       0
  InstanceCall1        2, CP#20
  StoreContextVar      0
  PushConstant         CP#6
  ReturnTOS

}

Closure CP#3 {
  Entry                4
  CheckStack
  Push                 FP[-6]
  LoadFieldTOS         CP#4
  PopLocal             r0
  AllocateContext      1
  StoreLocal           r1
  Push                 r1
  Push                 r0
  StoreContextParent
  PopLocal             r0
  Push                 r0
  LoadContextParent
  LoadContextParent
  LoadContextParent
  Push                 FP[-5]
  StoreContextVar      0
  Push                 r0
  Push                 FP[-5]
  StoreContextVar      0
  Push                 FP[-5]
  PushConstant         CP#6
  PushConstant         CP#6
  PushConstant         CP#7
  PushConstant         CP#8
  AssertAssignable     1, CP#9
  Drop1
  Push                 r0
  LoadContextParent
  LoadContextParent
  Push                 r0
  LoadContextVar       0
  PushConstant         CP#0
  InstanceCall1        2, CP#11
  StoreContextVar      0
  Push                 r0
  LoadContextParent
  LoadContextParent
  LoadContextVar       0
  PushConstant         CP#12
  InstanceCall1        2, CP#13
  AssertBoolean        0
  PushConstant         CP#14
  IfNeStrictTOS
  Jump                 L1
  AllocateContext      1
  StoreLocal           r1
  Push                 r1
  Push                 r0
  StoreContextParent
  PopLocal             r0
  Push                 r0
  PushConstant         CP#15
  StoreContextVar      0
  Allocate             CP#22
  StoreLocal           r2
  Push                 r2
  PushConstant         CP#6
  StoreFieldTOS        CP#23
  Push                 r2
  PushConstant         CP#6
  StoreFieldTOS        CP#25
  Push                 r2
  PushConstant         CP#16
  StoreFieldTOS        CP#27
  Push                 r2
  Push                 r0
  StoreFieldTOS        CP#4
  PopLocal             r3
  Push                 r3
  InstanceCall1        1, CP#29
  Drop1
  Push                 r0
  LoadContextVar       0
  PushConstant         CP#30
  IndirectStaticCall   1, CP#18
  Drop1
  Push                 r0
  LoadContextParent
  PopLocal             r0
L1:
  PushConstant         CP#6
  ReturnTOS

}

Closure CP#40 {
  Entry                3
  CheckStack
  Push                 FP[-5]
  LoadFieldTOS         CP#4
  PopLocal             r0
  Push                 r0
  LoadContextParent
  LoadContextVar       0
  Push                 r0
  LoadContextVar       0
  InstanceCall1        2, CP#41
  Drop1
  PushConstant         CP#6
  ReturnTOS

}
]  method topLevel() → void {
    {
      core::int x = 1;
      {
        core::int y = 2;
        core::int z = 3;
        (core::int) → core::Null closure1 = (core::int y) → core::Null {
          x = y.{core::num::+}(1);
          if(x.{core::num::>}(5)) {
            core::int w = 4;
            function closure2() → void {
              z = x.{core::num::+}(2);
              w = this.{self::B::foo}.{core::num::+}(y);
            }
            closure2.call();
            core::print(w);
          }
        };
        closure1.call(10);
        closure1.call(11);
        core::print(y);
        core::print(z);
      }
      core::print(x);
    }
    {
      core::int x = 42;
      () → core::Null closure3 = () → core::Null {
        this.{self::B::foo} = x;
      };
      closure3.call();
    }
  }
}
class C extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
[@vm.bytecode=
Bytecode {
  Entry                5
  CheckStack
  AllocateContext      1
  StoreLocal           r1
  Push                 r1
  Push                 r0
  StoreContextParent
  PopLocal             r0
  Push                 r0
  PushConstant         CP#0
  StoreContextVar      0
  PushConstant         CP#1
  StoreLocal           r3
  Push                 r3
  PushConstant         CP#0
  CreateArrayTOS
  StoreLocal           r3
  PushConstant         CP#3
  IndirectStaticCall   2, CP#2
  PopLocal             r2
  PushConstant         CP#1
  StoreLocal           r3
  Push                 r3
  PushConstant         CP#0
  CreateArrayTOS
  StoreLocal           r3
  PushConstant         CP#4
  IndirectStaticCall   2, CP#2
  PopLocal             r4
  AllocateContext      1
  StoreLocal           r1
  Push                 r1
  Push                 r0
  StoreContextParent
  PopLocal             r0
  Push                 r0
  PushConstant         CP#0
  StoreContextVar      0
L2:
  CheckStack
  Push                 r0
  LoadContextVar       0
  PushConstant         CP#5
  InstanceCall1        2, CP#6
  AssertBoolean        0
  PushConstant         CP#7
  IfNeStrictTOS
  Jump                 L1
  Push                 r2
  Allocate             CP#14
  StoreLocal           r3
  Push                 r3
  PushConstant         CP#12
  StoreFieldTOS        CP#15
  Push                 r3
  PushConstant         CP#12
  StoreFieldTOS        CP#17
  Push                 r3
  PushConstant         CP#8
  StoreFieldTOS        CP#19
  Push                 r3
  Push                 r0
  StoreFieldTOS        CP#9
  InstanceCall1        2, CP#21
  Drop1
  Push                 r4
  Allocate             CP#14
  StoreLocal           r3
  Push                 r3
  PushConstant         CP#12
  StoreFieldTOS        CP#15
  Push                 r3
  PushConstant         CP#12
  StoreFieldTOS        CP#17
  Push                 r3
  PushConstant         CP#22
  StoreFieldTOS        CP#19
  Push                 r3
  Push                 r0
  StoreFieldTOS        CP#9
  InstanceCall1        2, CP#28
  Drop1
  Push                 r0
  CloneContext
  PopLocal             r0
  Push                 r0
  Push                 r0
  LoadContextVar       0
  PushConstant         CP#29
  InstanceCall1        2, CP#30
  StoreLocal           r3
  StoreContextVar      0
  Push                 r3
  Drop1
  Jump                 L2
L1:
  Push                 r0
  LoadContextParent
  PopLocal             r0
  Push                 r0
  LoadContextParent
  PopLocal             r0
  PushConstant         CP#12
  ReturnTOS
}
ConstantPool {
  [0] = Int 0
  [1] = TypeArgs [dart.core::Function]
  [2] = ArgDesc num-args 2, num-type-args 0, names []
  [3] = StaticICData target 'dart.core::List::_fromLiteral', arg-desc CP#2
  [4] = StaticICData target 'dart.core::List::_fromLiteral', arg-desc CP#2
  [5] = Int 10
  [6] = ICData target-name '<', arg-desc CP#2
  [7] = Bool true
  [8] = ClosureFunction <anonymous closure> () → dart.core::int;
  [9] = InstanceField dart.core::_Closure::_context
  [10] = Reserved
  [11] = ICData target-name '+', arg-desc CP#2
  [12] = Null
  [13] = EndClosureFunctionScope
  [14] = Class dart.core::_Closure
  [15] = InstanceField dart.core::_Closure::_instantiator_type_arguments
  [16] = Reserved
  [17] = InstanceField dart.core::_Closure::_function_type_arguments
  [18] = Reserved
  [19] = InstanceField dart.core::_Closure::_function
  [20] = Reserved
  [21] = ICData target-name 'add', arg-desc CP#2
  [22] = ClosureFunction <anonymous closure> (dart.core::int ii) → dart.core::Null;
  [23] = Type dart.core::int
  [24] = String 'ii'
  [25] = SubtypeTestCache
  [26] = ICData target-name '+', arg-desc CP#2
  [27] = EndClosureFunctionScope
  [28] = ICData target-name 'add', arg-desc CP#2
  [29] = Int 1
  [30] = ICData target-name '+', arg-desc CP#2
}
Closure CP#8 {
  Entry                2
  CheckStack
  Push                 FP[-5]
  LoadFieldTOS         CP#9
  PopLocal             r0
  Push                 r0
  LoadContextVar       0
  Push                 r0
  LoadContextParent
  LoadContextVar       0
  InstanceCall1        2, CP#11
  ReturnTOS
  PushConstant         CP#12
  ReturnTOS

}

Closure CP#22 {
  Entry                3
  CheckStack
  Push                 FP[-6]
  LoadFieldTOS         CP#9
  PopLocal             r0
  Push                 FP[-5]
  PushConstant         CP#12
  PushConstant         CP#12
  PushConstant         CP#23
  PushConstant         CP#24
  AssertAssignable     1, CP#25
  Drop1
  Push                 r0
  Push                 FP[-5]
  Push                 r0
  LoadContextParent
  LoadContextVar       0
  InstanceCall1        2, CP#26
  StoreContextVar      0
  PushConstant         CP#12
  ReturnTOS

}
]  method testForLoop() → void {
    core::int delta = 0;
    core::List<core::Function> getI = <core::Function>[];
    core::List<core::Function> setI = <core::Function>[];
    for (core::int i = 0; i.{core::num::<}(10); i = i.{core::num::+}(1)) {
      getI.{core::List::add}(() → core::int => i.{core::num::+}(delta));
      setI.{core::List::add}((core::int ii) → core::Null {
        i = ii.{core::num::+}(delta);
      });
    }
  }
[@vm.bytecode=
Bytecode {
  Entry                5
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#0
  PushConstant         CP#0
  PushConstant         CP#1
  PushConstant         CP#2
  AssertAssignable     0, CP#3
  Drop1
  Push                 FP[-5]
  InstanceCall1        1, CP#5
  PopLocal             r2
L2:
  CheckStack
  Push                 r2
  InstanceCall1        1, CP#6
  PushConstant         CP#7
  IfNeStrictTOS
  Jump                 L1
  AllocateContext      1
  StoreLocal           r1
  Push                 r1
  Push                 r0
  StoreContextParent
  PopLocal             r0
  Push                 r0
  Push                 r2
  InstanceCall1        1, CP#8
  StoreContextVar      0
  Allocate             CP#16
  StoreLocal           r4
  Push                 r4
  PushConstant         CP#0
  StoreFieldTOS        CP#17
  Push                 r4
  PushConstant         CP#0
  StoreFieldTOS        CP#19
  Push                 r4
  PushConstant         CP#9
  StoreFieldTOS        CP#21
  Push                 r4
  Push                 r0
  StoreFieldTOS        CP#10
  PopLocal             r3
  Push                 r3
  InstanceCall1        1, CP#23
  Drop1
  Push                 r0
  LoadContextVar       0
  PushConstant         CP#24
  IndirectStaticCall   1, CP#4
  Drop1
  Push                 r0
  LoadContextParent
  PopLocal             r0
  Jump                 L2
L1:
  PushConstant         CP#0
  ReturnTOS
}
ConstantPool {
  [0] = Null
  [1] = Type dart.core::List<dart.core::int>
  [2] = String 'list'
  [3] = SubtypeTestCache
  [4] = ArgDesc num-args 1, num-type-args 0, names []
  [5] = ICData get target-name 'iterator', arg-desc CP#4
  [6] = ICData target-name 'moveNext', arg-desc CP#4
  [7] = Bool true
  [8] = ICData get target-name 'current', arg-desc CP#4
  [9] = ClosureFunction <anonymous closure> () → dart.core::Null;
  [10] = InstanceField dart.core::_Closure::_context
  [11] = Reserved
  [12] = Int 1
  [13] = ArgDesc num-args 2, num-type-args 0, names []
  [14] = ICData target-name '+', arg-desc CP#13
  [15] = EndClosureFunctionScope
  [16] = Class dart.core::_Closure
  [17] = InstanceField dart.core::_Closure::_instantiator_type_arguments
  [18] = Reserved
  [19] = InstanceField dart.core::_Closure::_function_type_arguments
  [20] = Reserved
  [21] = InstanceField dart.core::_Closure::_function
  [22] = Reserved
  [23] = ICData target-name 'call', arg-desc CP#4
  [24] = StaticICData target 'dart.core::print', arg-desc CP#4
}
Closure CP#9 {
  Entry                3
  CheckStack
  Push                 FP[-5]
  LoadFieldTOS         CP#10
  PopLocal             r0
  Push                 r0
  Push                 r0
  LoadContextVar       0
  PushConstant         CP#12
  InstanceCall1        2, CP#14
  StoreContextVar      0
  PushConstant         CP#0
  ReturnTOS

}
]  method testForInLoop(core::List<core::int> list) → void {
    for (core::int i in list) {
      () → core::Null inc = () → core::Null {
        i = i.{core::num::+}(1);
      };
      inc.call();
      core::print(i);
    }
  }
}
class D<T extends core::Object = dynamic> extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#1
  IndirectStaticCall   1, CP#0
  Drop1
  PushConstant         CP#2
  ReturnTOS
}
ConstantPool {
  [0] = ArgDesc num-args 1, num-type-args 0, names []
  [1] = StaticICData target 'dart.core::Object::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super core::Object::•()
    ;
[@vm.bytecode=
Bytecode {
  Entry                3
  CheckStack
  AllocateContext      1
  PopLocal             r0
  Push                 r0
  Push                 FP[-5]
  StoreContextVar      0
  Push                 FP[-5]
  Push                 FP[-6]
  LoadTypeArgumentsField CP#0
  PushConstant         CP#1
  PushConstant         CP#2
  PushConstant         CP#3
  AssertAssignable     0, CP#4
  Drop1
  Allocate             CP#9
  StoreLocal           r2
  Push                 r2
  Push                 FP[-6]
  LoadTypeArgumentsField CP#0
  StoreFieldTOS        CP#10
  Push                 r2
  PushConstant         CP#1
  StoreFieldTOS        CP#12
  Push                 r2
  PushConstant         CP#5
  StoreFieldTOS        CP#14
  Push                 r2
  Push                 r0
  StoreFieldTOS        CP#6
  ReturnTOS
  PushConstant         CP#1
  ReturnTOS
}
ConstantPool {
  [0] = TypeArgumentsField #lib::D
  [1] = Null
  [2] = Type #lib::D::T
  [3] = String 't'
  [4] = SubtypeTestCache
  [5] = ClosureFunction <anonymous closure> () → #lib::D::T;
  [6] = InstanceField dart.core::_Closure::_context
  [7] = Reserved
  [8] = EndClosureFunctionScope
  [9] = Class dart.core::_Closure
  [10] = InstanceField dart.core::_Closure::_instantiator_type_arguments
  [11] = Reserved
  [12] = InstanceField dart.core::_Closure::_function_type_arguments
  [13] = Reserved
  [14] = InstanceField dart.core::_Closure::_function
  [15] = Reserved
}
Closure CP#5 {
  Entry                2
  CheckStack
  Push                 FP[-5]
  LoadFieldTOS         CP#6
  PopLocal             r0
  Push                 r0
  LoadContextVar       0
  ReturnTOS
  PushConstant         CP#1
  ReturnTOS

}
]  method foo(generic-covariant-impl self::D::T t) → dynamic {
    return () → self::D::T => t;
  }
}
[@vm.bytecode=
Bytecode {
  Entry                4
  CheckStack
  AllocateContext      1
  StoreLocal           r1
  Push                 r1
  Push                 r0
  StoreContextParent
  PopLocal             r0
  Push                 r0
  PushConstant         CP#0
  StoreContextVar      0
  Allocate             CP#11
  StoreLocal           r3
  Push                 r3
  PushConstant         CP#4
  StoreFieldTOS        CP#12
  Push                 r3
  PushConstant         CP#4
  StoreFieldTOS        CP#14
  Push                 r3
  PushConstant         CP#1
  StoreFieldTOS        CP#16
  Push                 r3
  Push                 r0
  StoreFieldTOS        CP#2
  PopLocal             r2
  Push                 r2
  PushConstant         CP#18
  InstanceCall1        2, CP#19
  Drop1
  Push                 r0
  LoadContextVar       0
  ReturnTOS
  Push                 r0
  LoadContextParent
  PopLocal             r0
  PushConstant         CP#4
  ReturnTOS
}
ConstantPool {
  [0] = Int 5
  [1] = ClosureFunction <anonymous closure> (dart.core::int y) → dart.core::Null;
  [2] = InstanceField dart.core::_Closure::_context
  [3] = Reserved
  [4] = Null
  [5] = Type dart.core::int
  [6] = String 'y'
  [7] = SubtypeTestCache
  [8] = ArgDesc num-args 2, num-type-args 0, names []
  [9] = ICData target-name '+', arg-desc CP#8
  [10] = EndClosureFunctionScope
  [11] = Class dart.core::_Closure
  [12] = InstanceField dart.core::_Closure::_instantiator_type_arguments
  [13] = Reserved
  [14] = InstanceField dart.core::_Closure::_function_type_arguments
  [15] = Reserved
  [16] = InstanceField dart.core::_Closure::_function
  [17] = Reserved
  [18] = Int 3
  [19] = ICData target-name 'call', arg-desc CP#8
}
Closure CP#1 {
  Entry                3
  CheckStack
  Push                 FP[-6]
  LoadFieldTOS         CP#2
  PopLocal             r0
  Push                 FP[-5]
  PushConstant         CP#4
  PushConstant         CP#4
  PushConstant         CP#5
  PushConstant         CP#6
  AssertAssignable     1, CP#7
  Drop1
  Push                 r0
  Push                 r0
  LoadContextVar       0
  Push                 FP[-5]
  InstanceCall1        2, CP#9
  StoreContextVar      0
  PushConstant         CP#4
  ReturnTOS

}
]static method simpleClosure() → core::int {
  core::int x = 5;
  (core::int) → core::Null inc = (core::int y) → core::Null {
    x = x.{core::num::+}(y);
  };
  inc.call(3);
  return x;
}
[@vm.bytecode=
Bytecode {
  Entry                2
  CheckStack
  CheckFunctionTypeArgs 8, 0
  PushConstant         CP#0
  StoreLocal           r1
  Push                 r1
  PushConstant         CP#1
  CreateArrayTOS
  StoreLocal           r1
  Push                 r1
  PushConstant         CP#2
  PushConstant         CP#4
  Push                 r0
  InstantiateType      CP#3
  StoreIndexedTOS
  Push                 r1
  PushConstant         CP#5
  PushConstant         CP#4
  Push                 r0
  InstantiateType      CP#6
  StoreIndexedTOS
  Push                 r1
  PushConstant         CP#7
  PushConstant         CP#4
  Push                 r0
  InstantiateType      CP#8
  StoreIndexedTOS
  Push                 r1
  PushConstant         CP#9
  PushConstant         CP#4
  Push                 r0
  InstantiateType      CP#10
  StoreIndexedTOS
  Push                 r1
  PushConstant         CP#11
  PushConstant         CP#4
  Push                 r0
  InstantiateType      CP#12
  StoreIndexedTOS
  Push                 r1
  PushConstant         CP#13
  PushConstant         CP#4
  Push                 r0
  InstantiateType      CP#14
  StoreIndexedTOS
  Push                 r1
  PushConstant         CP#15
  PushConstant         CP#4
  Push                 r0
  InstantiateType      CP#16
  StoreIndexedTOS
  Push                 r1
  PushConstant         CP#17
  PushConstant         CP#4
  Push                 r0
  InstantiateType      CP#18
  StoreIndexedTOS
  PushConstant         CP#20
  IndirectStaticCall   2, CP#19
  PushConstant         CP#22
  IndirectStaticCall   1, CP#21
  Drop1
  PushConstant         CP#4
  ReturnTOS
}
ConstantPool {
  [0] = TypeArgs [dart.core::Type]
  [1] = Int 8
  [2] = Int 0
  [3] = Type #lib::callWithArgs::T1
  [4] = Null
  [5] = Int 1
  [6] = Type #lib::callWithArgs::T2
  [7] = Int 2
  [8] = Type #lib::callWithArgs::T3
  [9] = Int 3
  [10] = Type #lib::callWithArgs::T4
  [11] = Int 4
  [12] = Type #lib::callWithArgs::T5
  [13] = Int 5
  [14] = Type #lib::callWithArgs::T6
  [15] = Int 6
  [16] = Type #lib::callWithArgs::T7
  [17] = Int 7
  [18] = Type #lib::callWithArgs::T8
  [19] = ArgDesc num-args 2, num-type-args 0, names []
  [20] = StaticICData target 'dart.core::List::_fromLiteral', arg-desc CP#19
  [21] = ArgDesc num-args 1, num-type-args 0, names []
  [22] = StaticICData target 'dart.core::print', arg-desc CP#21
}
]static method callWithArgs<T1 extends core::Object = dynamic, T2 extends core::Object = dynamic, T3 extends core::Object = dynamic, T4 extends core::Object = dynamic, T5 extends core::Object = dynamic, T6 extends core::Object = dynamic, T7 extends core::Object = dynamic, T8 extends core::Object = dynamic>() → void {
  core::print(<core::Type>[self::callWithArgs::T1, self::callWithArgs::T2, self::callWithArgs::T3, self::callWithArgs::T4, self::callWithArgs::T5, self::callWithArgs::T6, self::callWithArgs::T7, self::callWithArgs::T8]);
}
[@vm.bytecode=
Bytecode {
  Entry                1
  CheckStack
  PushConstant         CP#0
  PushConstant         CP#2
  PushConstant         CP#1
  AllocateT
  StoreLocal           r0
  Push                 r0
  PushConstant         CP#4
  IndirectStaticCall   1, CP#3
  Drop1
  InstanceCall1        2, CP#6
  Drop1
  PushConstant         CP#7
  PushConstant         CP#2
  PushConstant         CP#1
  AllocateT
  StoreLocal           r0
  Push                 r0
  PushConstant         CP#8
  IndirectStaticCall   1, CP#3
  Drop1
  InstanceCall1        2, CP#9
  Drop1
  PushConstant         CP#7
  PushConstant         CP#10
  PushConstant         CP#1
  AllocateT
  StoreLocal           r0
  Push                 r0
  PushConstant         CP#11
  IndirectStaticCall   1, CP#3
  Drop1
  InstanceCall1        2, CP#12
  Drop1
  PushConstant         CP#13
  ReturnTOS
}
ConstantPool {
  [0] = TypeArgs [#lib::C3, #lib::C4]
  [1] = Class #lib::A
  [2] = TypeArgumentsForInstanceAllocation #lib::A [#lib::C1, #lib::C2]
  [3] = ArgDesc num-args 1, num-type-args 0, names []
  [4] = StaticICData target '#lib::A::', arg-desc CP#3
  [5] = ArgDesc num-args 1, num-type-args 2, names []
  [6] = ICData target-name 'foo', arg-desc CP#5
  [7] = TypeArgs [dart.core::List<#lib::C3>, dart.core::List<#lib::C4>]
  [8] = StaticICData target '#lib::A::', arg-desc CP#3
  [9] = ICData target-name 'foo', arg-desc CP#5
  [10] = TypeArgumentsForInstanceAllocation #lib::A [dart.core::List<#lib::C1>, dart.core::List<#lib::C2>]
  [11] = StaticICData target '#lib::A::', arg-desc CP#3
  [12] = ICData target-name 'foo', arg-desc CP#5
  [13] = Null
}
]static method callA() → void {
  new self::A::•<self::C1, self::C2>().{self::A::foo}<self::C3, self::C4>();
  new self::A::•<self::C1, self::C2>().{self::A::foo}<core::List<self::C3>, core::List<self::C4>>();
  new self::A::•<core::List<self::C1>, core::List<self::C2>>().{self::A::foo}<core::List<self::C3>, core::List<self::C4>>();
}
[@vm.bytecode=
Bytecode {
  Entry                6
  CheckStack
  Allocate             CP#14
  StoreLocal           r3
  Push                 r3
  PushConstant         CP#9
  StoreFieldTOS        CP#15
  Push                 r3
  PushConstant         CP#9
  StoreFieldTOS        CP#3
  Push                 r3
  PushConstant         CP#0
  StoreFieldTOS        CP#17
  Push                 r3
  Push                 r0
  StoreFieldTOS        CP#1
  PopLocal             r2
  Push                 r2
  PopLocal             r3
  Allocate             CP#14
  StoreLocal           r5
  PushConstant         CP#19
  StoreFieldTOS        CP#20
  Push                 r5
  Push                 r3
  LoadFieldTOS         CP#15
  StoreFieldTOS        CP#15
  Push                 r5
  Push                 r3
  LoadFieldTOS         CP#3
  StoreFieldTOS        CP#3
  Push                 r5
  Push                 r3
  LoadFieldTOS         CP#17
  StoreFieldTOS        CP#17
  Push                 r5
  Push                 r3
  LoadFieldTOS         CP#1
  StoreFieldTOS        CP#1
  Push                 r5
  PopLocal             r4
  Push                 r4
  ReturnTOS
  PushConstant         CP#9
  ReturnTOS
}
ConstantPool {
  [0] = ClosureFunction foo <T extends dart.core::Object = dynamic>(T t) → void;
  [1] = InstanceField dart.core::_Closure::_context
  [2] = Reserved
  [3] = InstanceField dart.core::_Closure::_function_type_arguments
  [4] = Reserved
  [5] = Int 0
  [6] = Int 1
  [7] = ArgDesc num-args 4, num-type-args 0, names []
  [8] = StaticICData target 'dart._internal::_prependTypeArguments', arg-desc CP#7
  [9] = Null
  [10] = Type T
  [11] = String 't'
  [12] = SubtypeTestCache
  [13] = EndClosureFunctionScope
  [14] = Class dart.core::_Closure
  [15] = InstanceField dart.core::_Closure::_instantiator_type_arguments
  [16] = Reserved
  [17] = InstanceField dart.core::_Closure::_function
  [18] = Reserved
  [19] = TypeArgs [dart.core::int]
  [20] = InstanceField dart.core::_Closure::_delayed_type_arguments
  [21] = Reserved
}
Closure CP#0 {
  Entry                3
  CheckStack
  Push                 FP[-6]
  LoadFieldTOS         CP#1
  PopLocal             r1
  CheckFunctionTypeArgs 1, 0
  Push                 r0
  Push                 FP[-6]
  LoadFieldTOS         CP#3
  PushConstant         CP#5
  PushConstant         CP#6
  PushConstant         CP#8
  IndirectStaticCall   4, CP#7
  PopLocal             r0
  Push                 FP[-5]
  PushConstant         CP#9
  Push                 r0
  PushConstant         CP#10
  PushConstant         CP#11
  AssertAssignable     0, CP#12
  Drop1
  PushConstant         CP#9
  ReturnTOS

}
]static method testPartialInstantiation() → (core::int) → dynamic {
  function foo<T extends core::Object = dynamic>(T t) → void {}
  (core::int) → dynamic intFunc = foo<core::int>;
  return intFunc;
}
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  PushConstant         CP#0
  ReturnTOS
}
ConstantPool {
  [0] = Null
}
]static method main() → dynamic {}