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

class Class1 extends core::Object {
  field core::int field;
  constructor •(core::int field) → self::Class1
    ;
  static method _#new#tearOff(core::int field) → self::Class1
    return new self::Class1::•(field);
}
abstract class Interface2 extends core::Object {
  synthetic constructor •() → self::Interface2
    ;
  abstract get field() → core::int;
}
class Class2 extends core::Object implements self::Interface2 {
  final field core::int field;
  constructor •(core::int field) → self::Class2
    ;
  static method _#new#tearOff(core::int field) → self::Class2
    return new self::Class2::•(field);
}
static final field core::bool inSoundMode;
static method main() → dynamic
  ;
static method testInferred() → dynamic
  ;
static method expect(dynamic expected, dynamic actual) → dynamic
  ;
static method throws(() → dynamic f, {core::bool inSoundModeOnly}) → dynamic
  ;