pkg/vm/testcases/transformations/type_flow/transformer/pragmas.dart.expect

library #lib /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

class A extends core::Object /*hasConstConstructor*/  {
[@vm.inferred-type.metadata=dart.core::_Smi (value: 10)] [@vm.procedure-attributes.metadata=methodOrSetterCalledDynamically:false,getterCalledDynamically:false,hasThisUses:false,hasNonThisUses:false,hasTearOffUses:false,getterSelectorId:1] [@vm.unboxing-info.metadata=()->i]  final field core::int x;
}
class B extends core::Object /*hasConstConstructor*/  {
[@vm.inferred-type.metadata=dart.core::_Smi (value: 11)] [@vm.procedure-attributes.metadata=methodOrSetterCalledDynamically:false,getterCalledDynamically:false,hasThisUses:false,hasNonThisUses:false,hasTearOffUses:false,getterSelectorId:2] [@vm.unboxing-info.metadata=()->i]  final field core::int y;
}
class C extends core::Object /*hasConstConstructor*/  {
[@vm.inferred-type.metadata=dart.core::_Smi (value: 12)] [@vm.procedure-attributes.metadata=methodOrSetterCalledDynamically:false,getterCalledDynamically:false,hasThisUses:false,hasNonThisUses:false,hasTearOffUses:false,getterSelectorId:3] [@vm.unboxing-info.metadata=()->i]  final field core::int z;
}
@#C4
class Foo extends core::Object {
  synthetic constructor •() → self::Foo
    : super core::Object::•()
    ;
[@vm.procedure-attributes.metadata=methodOrSetterCalledDynamically:false,getterCalledDynamically:false,hasThisUses:false,hasTearOffUses:false,methodOrSetterSelectorId:4,getterSelectorId:5]  @#C12
  method bar() → void {
    @#C16
    function bazz() → void {}
    bazz(){() → void};
  }
}
static method main() → dynamic {
  [@vm.direct-call.metadata=#lib::Foo.bar] [@vm.inferred-type.metadata=!? (skip check)] new self::Foo::•().{self::Foo::bar}(){() → void};
}
constants  {
  #C1 = "test1"
  #C2 = 10
  #C3 = self::A {x:#C2}
  #C4 = core::pragma {name:#C1, options:#C3}
  #C5 = "test2"
  #C6 = 3
  #C7 = 11
  #C8 = self::B {y:#C7}
  #C9 = 4
  #C10 = "hey"
  #C11 = <core::int*, core::Object*>{#C6:#C8, #C9:#C10)
  #C12 = core::pragma {name:#C5, options:#C11}
  #C13 = "test3"
  #C14 = 12
  #C15 = self::C {z:#C14}
  #C16 = core::pragma {name:#C13, options:#C15}
}