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

class A<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::•()
    ;
}
class B extends self::A<core::String> {
[@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 '#lib::A::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super self::A::•()
    ;
}
class C<T1 extends core::Object = dynamic, T2 extends core::Object = dynamic, T3 extends core::Object = dynamic> extends self::B {
[@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 '#lib::B::', arg-desc CP#0
  [2] = Null
}
]  synthetic constructor •() → void
    : super self::B::•()
    ;
}
class D<P extends core::Object = dynamic, Q extends core::Object = dynamic> extends self::C<core::int, self::D::Q, self::D::P> {
  generic-covariant-impl field core::Map<self::D::P, self::D::Q> foo;
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-6]
  Push                 FP[-5]
  Push                 FP[-6]
  LoadTypeArgumentsField CP#0
  PushConstant         CP#1
  PushConstant         CP#2
  PushConstant         CP#3
  AssertAssignable     0, CP#4
  StoreFieldTOS        CP#5
  Push                 FP[-6]
  PushConstant         CP#8
  IndirectStaticCall   1, CP#7
  Drop1
  PushConstant         CP#1
  ReturnTOS
}
ConstantPool {
  [0] = TypeArgumentsField #lib::D
  [1] = Null
  [2] = Type dart.core::Map<#lib::D::P, #lib::D::Q>
  [3] = String ''
  [4] = SubtypeTestCache
  [5] = InstanceField #lib::D::foo
  [6] = Reserved
  [7] = ArgDesc num-args 1, num-type-args 0, names []
  [8] = StaticICData target '#lib::C::', arg-desc CP#7
}
]  constructor •(dynamic tt) → void
    : self::D::foo = tt as{TypeError} core::Map<self::D::P, self::D::Q>, super self::C::•()
    ;
[@vm.bytecode=
Bytecode {
  Entry                1
  CheckStack
  Push                 FP[-5]
  Push                 FP[-6]
  LoadTypeArgumentsField CP#0
  PushConstant         CP#1
  PushConstant         CP#2
  InstanceCall         4, CP#4
  AssertBoolean        0
  PushConstant         CP#5
  IfNeStrictTOS
  Jump                 L1
  PushConstant         CP#6
  PushConstant         CP#8
  IndirectStaticCall   1, CP#7
  Drop1
L1:
  Push                 FP[-5]
  Push                 FP[-6]
  LoadTypeArgumentsField CP#0
  PushConstant         CP#1
  PushConstant         CP#9
  InstanceCall         4, CP#10
  AssertBoolean        0
  PushConstant         CP#5
  IfNeStrictTOS
  Jump                 L2
  PushConstant         CP#11
  PushConstant         CP#12
  IndirectStaticCall   1, CP#7
  Drop1
L2:
  Push                 FP[-6]
  Push                 FP[-5]
  Push                 FP[-6]
  LoadTypeArgumentsField CP#0
  PushConstant         CP#1
  PushConstant         CP#13
  PushConstant         CP#14
  AssertAssignable     0, CP#15
  InstanceCall         2, CP#17
  Drop1
  PushConstant         CP#1
  ReturnTOS
}
ConstantPool {
  [0] = TypeArgumentsField #lib::D
  [1] = Null
  [2] = Type #lib::A<#lib::D::P>
  [3] = ArgDesc num-args 4, num-type-args 0, names []
  [4] = ICData target-name 'dart.core::_instanceOf', arg-desc CP#3
  [5] = Bool true
  [6] = String '21'
  [7] = ArgDesc num-args 1, num-type-args 0, names []
  [8] = StaticICData target 'dart.core::print', arg-desc CP#7
  [9] = Type #lib::C<dynamic, #lib::D::Q, dart.core::List<#lib::D::P>>
  [10] = ICData target-name 'dart.core::_instanceOf', arg-desc CP#3
  [11] = String '22'
  [12] = StaticICData target 'dart.core::print', arg-desc CP#7
  [13] = Type dart.core::Map<#lib::D::P, #lib::D::Q>
  [14] = String ''
  [15] = SubtypeTestCache
  [16] = ArgDesc num-args 2, num-type-args 0, names []
  [17] = ICData set target-name 'foo', arg-desc CP#16
}
]  method foo2(dynamic y) → dynamic {
    if(y is self::A<self::D::P>) {
      core::print("21");
    }
    if(y is self::C<dynamic, self::D::Q, core::List<self::D::P>>) {
      core::print("22");
    }
    this.{self::D::foo} = y as{TypeError} core::Map<self::D::P, self::D::Q>;
  }
[@vm.bytecode=
Bytecode {
  Entry                1
  CheckStack
  CheckFunctionTypeArgs 2, 0
  Push                 FP[-5]
  PushConstant         CP#0
  Push                 r0
  PushConstant         CP#1
  InstanceCall         4, CP#3
  AssertBoolean        0
  PushConstant         CP#4
  IfNeStrictTOS
  Jump                 L1
  PushConstant         CP#5
  PushConstant         CP#7
  IndirectStaticCall   1, CP#6
  Drop1
L1:
  Push                 FP[-5]
  Push                 FP[-6]
  LoadTypeArgumentsField CP#8
  Push                 r0
  PushConstant         CP#9
  InstanceCall         4, CP#10
  AssertBoolean        0
  PushConstant         CP#4
  IfNeStrictTOS
  Jump                 L2
  PushConstant         CP#11
  PushConstant         CP#12
  IndirectStaticCall   1, CP#6
  Drop1
L2:
  Push                 FP[-5]
  Push                 FP[-6]
  LoadTypeArgumentsField CP#8
  Push                 r0
  PushConstant         CP#13
  InstanceCall         4, CP#14
  InstanceCall         1, CP#15
  ReturnTOS
  PushConstant         CP#0
  ReturnTOS
}
ConstantPool {
  [0] = Null
  [1] = Type #lib::A<#lib::D::foo3::T1>
  [2] = ArgDesc num-args 4, num-type-args 0, names []
  [3] = ICData target-name 'dart.core::_instanceOf', arg-desc CP#2
  [4] = Bool true
  [5] = String '31'
  [6] = ArgDesc num-args 1, num-type-args 0, names []
  [7] = StaticICData target 'dart.core::print', arg-desc CP#6
  [8] = TypeArgumentsField #lib::D
  [9] = Type #lib::C<dart.core::Map<#lib::D::foo3::T1, #lib::D::P>, dart.core::List<#lib::D::foo3::T2>, #lib::D::Q>
  [10] = ICData target-name 'dart.core::_instanceOf', arg-desc CP#2
  [11] = String '32'
  [12] = StaticICData target 'dart.core::print', arg-desc CP#6
  [13] = Type dart.core::Map<#lib::D::foo3::T2, #lib::D::Q>
  [14] = ICData target-name 'dart.core::_as', arg-desc CP#2
  [15] = ICData get target-name 'values', arg-desc CP#6
}
]  method foo3<T1 extends core::Object = dynamic, T2 extends core::Object = dynamic>(dynamic z) → dynamic {
    if(z is self::A<self::D::foo3::T1>) {
      core::print("31");
    }
    if(z is self::C<core::Map<self::D::foo3::T1, self::D::P>, core::List<self::D::foo3::T2>, self::D::Q>) {
      core::print("32");
    }
    return (z as core::Map<self::D::foo3::T2, self::D::Q>).{core::Map::values};
  }
[@vm.bytecode=
Bytecode {
  Entry                2
  CheckStack
  Push                 FP[-6]
  LoadTypeArgumentsField CP#0
  PushConstant         CP#1
  InstantiateTypeArgumentsTOS 0, CP#2
  StoreLocal           r1
  Push                 r1
  PushConstant         CP#3
  CreateArrayTOS
  StoreLocal           r1
  Push                 r1
  PushConstant         CP#4
  Push                 FP[-5]
  Push                 FP[-6]
  LoadTypeArgumentsField CP#0
  PushConstant         CP#1
  PushConstant         CP#5
  PushConstant         CP#6
  AssertAssignable     0, CP#7
  StoreIndexedTOS
  PushConstant         CP#9
  IndirectStaticCall   2, CP#8
  PopLocal             r0
  Push                 FP[-5]
  Push                 FP[-6]
  LoadTypeArgumentsField CP#0
  PushConstant         CP#1
  PushConstant         CP#5
  PushConstant         CP#6
  AssertAssignable     0, CP#10
  ReturnTOS
  PushConstant         CP#1
  ReturnTOS
}
ConstantPool {
  [0] = TypeArgumentsField #lib::D
  [1] = Null
  [2] = TypeArgs [dart.core::Map<#lib::D::P, #lib::D::Q>]
  [3] = Int 1
  [4] = Int 0
  [5] = Type dart.core::Map<#lib::D::P, #lib::D::Q>
  [6] = String ''
  [7] = SubtypeTestCache
  [8] = ArgDesc num-args 2, num-type-args 0, names []
  [9] = StaticICData target 'dart.core::List::_fromLiteral', arg-desc CP#8
  [10] = SubtypeTestCache
}
]  method foo4(dynamic w) → core::Map<self::D::P, self::D::Q> {
    core::List<core::Map<self::D::P, self::D::Q>> list = <core::Map<self::D::P, self::D::Q>>[w as{TypeError} core::Map<self::D::P, self::D::Q>];
    return w as{TypeError} core::Map<self::D::P, self::D::Q>;
  }
}
class E<P extends core::String = core::String> extends core::Object {
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  PushConstant         CP#0
  ReturnTOS
  PushConstant         CP#0
  ReturnTOS
}
ConstantPool {
  [0] = Null
}
]  static factory •<P extends core::String = dynamic>() → self::E<self::E::•::P>
    return null;
[@vm.bytecode=
Bytecode {
  Entry                1
  CheckStack
  CheckFunctionTypeArgs 2, 0
  JumpIfNotZeroTypeArgs L1
  Push                 FP[-6]
  LoadTypeArgumentsField CP#0
  PushConstant         CP#1
  InstantiateTypeArgumentsTOS 0, CP#2
  PopLocal             r0
L1:
  Push                 FP[-6]
  LoadTypeArgumentsField CP#0
  Push                 r0
  PushConstant         CP#3
  PushConstant         CP#4
  PushConstant         CP#5
  AssertSubtype
  PushConstant         CP#1
  Push                 r0
  PushConstant         CP#6
  PushConstant         CP#7
  PushConstant         CP#8
  AssertSubtype
  Push                 FP[-5]
  PushConstant         CP#1
  Push                 r0
  PushConstant         CP#9
  PushConstant         CP#10
  AssertAssignable     0, CP#11
  Drop1
  PushConstant         CP#1
  ReturnTOS
}
ConstantPool {
  [0] = TypeArgumentsField #lib::E
  [1] = Null
  [2] = TypeArgs [#lib::E::P, dart.core::List<#lib::E::P>]
  [3] = Type #lib::E::foo6::T
  [4] = Type #lib::E::P
  [5] = String 'T'
  [6] = Type #lib::E::foo6::U
  [7] = Type dart.core::List<#lib::E::foo6::T>
  [8] = String 'U'
  [9] = Type dart.core::Map<#lib::E::foo6::T, #lib::E::foo6::U>
  [10] = String 'map'
  [11] = SubtypeTestCache
}
]  method foo6<generic-covariant-impl T extends self::E::P = self::E::P, U extends core::List<self::E::foo6::T> = core::List<self::E::P>>(core::Map<self::E::foo6::T, self::E::foo6::U> map) → void {}
}
static field core::List<core::Iterable<dynamic>> globalVar;
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#0
  PushConstant         CP#0
  PushConstant         CP#1
  InstanceCall         4, CP#3
  AssertBoolean        0
  PushConstant         CP#4
  IfNeStrictTOS
  Jump                 L1
  PushConstant         CP#5
  PushConstant         CP#7
  IndirectStaticCall   1, CP#6
  Drop1
L1:
  Push                 FP[-5]
  PushConstant         CP#0
  PushConstant         CP#0
  PushConstant         CP#8
  InstanceCall         4, CP#9
  AssertBoolean        0
  PushConstant         CP#4
  IfNeStrictTOS
  Jump                 L2
  PushConstant         CP#10
  PushConstant         CP#11
  IndirectStaticCall   1, CP#6
  Drop1
L2:
  Push                 FP[-5]
  PushConstant         CP#0
  PushConstant         CP#0
  PushConstant         CP#12
  InstanceCall         4, CP#13
  ReturnTOS
  PushConstant         CP#0
  ReturnTOS
}
ConstantPool {
  [0] = Null
  [1] = Type #lib::B
  [2] = ArgDesc num-args 4, num-type-args 0, names []
  [3] = ICData target-name 'dart.core::_instanceOf', arg-desc CP#2
  [4] = Bool true
  [5] = String '11'
  [6] = ArgDesc num-args 1, num-type-args 0, names []
  [7] = StaticICData target 'dart.core::print', arg-desc CP#6
  [8] = Type #lib::C<dart.core::int, dart.core::Object, dynamic>
  [9] = ICData target-name 'dart.core::_instanceOf', arg-desc CP#2
  [10] = String '12'
  [11] = StaticICData target 'dart.core::print', arg-desc CP#6
  [12] = Type #lib::A<dart.core::int>
  [13] = ICData target-name 'dart.core::_as', arg-desc CP#2
}
]static method foo1(dynamic x) → dynamic {
  if(x is self::B) {
    core::print("11");
  }
  if(x is self::C<core::int, core::Object, dynamic>) {
    core::print("12");
  }
  return x as self::A<core::int>;
}
[@vm.bytecode=
Bytecode {
  Entry                1
  CheckStack
  Push                 FP[-5]
  PushConstant         CP#0
  PushConstant         CP#0
  PushConstant         CP#1
  PushConstant         CP#2
  AssertAssignable     0, CP#3
  StoreStaticTOS       CP#4
  PushConstant         CP#0
  ReturnTOS
}
ConstantPool {
  [0] = Null
  [1] = Type dart.core::List<dart.core::Iterable<dynamic>>
  [2] = String ''
  [3] = SubtypeTestCache
  [4] = StaticField #lib::globalVar
}
]static method foo5(dynamic x) → void {
  self::globalVar = x as{TypeError} core::List<core::Iterable<dynamic>>;
}
[@vm.bytecode=
Bytecode {
  Entry                0
  CheckStack
  PushConstant         CP#0
  ReturnTOS
}
ConstantPool {
  [0] = Null
}
]static method main() → dynamic {}