library;
import self as self;
import "dart:core" as core;
import "opt_in_lib1.dart" as opt;
import "opt_out_lib.dart" as opt2;
import "opt_in_lib2.dart" as opt3;

import "org-dartlang-testcase:///opt_in_lib1.dart";
import "org-dartlang-testcase:///opt_in_lib2.dart";
import "org-dartlang-testcase:///opt_out_lib.dart";

class Super extends core::Object {
  synthetic constructor •() → self::Super*
    ;
  get getter() → opt::B*
    ;
  set setter(opt::A* a) → void
    ;
  abstract member-signature get _identityHashCode() → core::int*; -> core::Object::_identityHashCode
  abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) → core::bool*; -> core::Object::_instanceOf
  abstract member-signature method _simpleInstanceOf(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOf
  abstract member-signature method _simpleInstanceOfTrue(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOfTrue
  abstract member-signature method _simpleInstanceOfFalse(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOfFalse
  abstract member-signature operator ==(dynamic other) → core::bool*; -> core::Object::==
  abstract member-signature get hashCode() → core::int*; -> core::Object::hashCode
  abstract member-signature method toString() → core::String*; -> core::Object::toString
  abstract member-signature method noSuchMethod(core::Invocation* invocation) → dynamic; -> core::Object::noSuchMethod
  abstract member-signature get runtimeType() → core::Type*; -> core::Object::runtimeType
}
abstract class _Class1&Super&Mixin1 = self::Super with opt2::Mixin1 /*isAnonymousMixin*/  {
  synthetic constructor •() → self::_Class1&Super&Mixin1*
    : super self::Super::•()
    ;
}
class Class1 extends self::_Class1&Super&Mixin1 {
  synthetic constructor •() → self::Class1*
    ;
}
abstract class _Class2&Base&Mixin2 = opt::Base with opt3::Mixin2 /*isAnonymousMixin*/  {
  synthetic constructor •() → self::_Class2&Base&Mixin2*
    : super opt::Base::•()
    ;
  abstract member-signature get _privateGetter() → opt::B*; -> opt::Base::_privateGetter
  abstract member-signature get _identityHashCode() → core::int*; -> core::Object::_identityHashCode
  abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) → core::bool*; -> core::Object::_instanceOf
  abstract member-signature method _simpleInstanceOf(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOf
  abstract member-signature method _simpleInstanceOfTrue(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOfTrue
  abstract member-signature method _simpleInstanceOfFalse(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOfFalse
  abstract member-signature operator ==(dynamic other) → core::bool*; -> core::Object::==
  abstract member-signature get hashCode() → core::int*; -> core::Object::hashCode
  abstract member-signature method toString() → core::String*; -> core::Object::toString
  abstract member-signature method noSuchMethod(core::Invocation* invocation) → dynamic; -> core::Object::noSuchMethod
  abstract member-signature get runtimeType() → core::Type*; -> core::Object::runtimeType
  abstract member-signature set _privateSetter(opt::A* a) → void; -> opt::Base::_privateSetter
}
class Class2 extends self::_Class2&Base&Mixin2 {
  synthetic constructor •() → self::Class2*
    ;
}
static method main() → dynamic
  ;

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

class A extends core::Object {
  synthetic constructor •() → opt::A
    ;
}
class B extends opt::A {
  synthetic constructor •() → opt::B
    ;
  get property() → core::int
    ;
}
class C extends opt::A {
  synthetic constructor •() → opt::C
    ;
}
class Base extends core::Object {
  synthetic constructor •() → opt::Base
    ;
  get _privateGetter() → opt::B
    ;
  set _privateSetter(opt::A a) → void
    ;
}
abstract class Interface1 extends core::Object {
  synthetic constructor •() → opt::Interface1
    ;
  abstract get getter() → opt::A;
  abstract set setter(opt::C c) → void;
}
abstract class Interface2 extends core::Object {
  synthetic constructor •() → opt::Interface2
    ;
  abstract get _privateGetter() → opt::A;
  abstract set _privateSetter(opt::C c) → void;
}
static method testInterface2(opt::Interface2 c) → dynamic
  ;

library /*isNonNullableByDefault*/;
import self as opt3;
import "dart:core" as core;
import "opt_in_lib1.dart" as opt;

import "org-dartlang-testcase:///opt_in_lib1.dart";

class Mixin2 extends core::Object implements opt::Interface2 {
  synthetic constructor •() → opt3::Mixin2
    ;
  no-such-method-forwarder get /* from org-dartlang-testcase:///opt_in_lib1.dart */ _privateGetter() → opt::A
    return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C1, 1, #C2, #C3, core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} opt::A;
  no-such-method-forwarder set /* from org-dartlang-testcase:///opt_in_lib1.dart */ _privateSetter(opt::C c) → void
    return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C5, 2, #C2, core::List::unmodifiable<dynamic>(core::_GrowableList::_literal1<dynamic>(c)), core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic};
}

library;
import self as opt2;
import "dart:core" as core;
import "opt_in_lib1.dart" as opt;

import "org-dartlang-testcase:///opt_in_lib1.dart";

abstract class Mixin1 extends core::Object implements opt::Interface1 {
  synthetic constructor •() → opt2::Mixin1*
    ;
  abstract member-signature get _identityHashCode() → core::int*; -> core::Object::_identityHashCode
  abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) → core::bool*; -> core::Object::_instanceOf
  abstract member-signature method _simpleInstanceOf(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOf
  abstract member-signature method _simpleInstanceOfTrue(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOfTrue
  abstract member-signature method _simpleInstanceOfFalse(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOfFalse
  abstract member-signature operator ==(dynamic other) → core::bool*; -> core::Object::==
  abstract member-signature get hashCode() → core::int*; -> core::Object::hashCode
  abstract member-signature method toString() → core::String*; -> core::Object::toString
  abstract member-signature method noSuchMethod(core::Invocation* invocation) → dynamic; -> core::Object::noSuchMethod
  abstract member-signature get runtimeType() → core::Type*; -> core::Object::runtimeType
  abstract member-signature get getter() → opt::A*; -> opt::Interface1::getter
  abstract member-signature set setter(opt::C* c) → void; -> opt::Interface1::setter
}

constants  {
  #C1 = #org-dartlang-testcase:///opt_in_lib2.dart::_privateGetter
  #C2 = <core::Type*>[]
  #C3 = <dynamic>[]
  #C4 = core::_ImmutableMap<core::Symbol*, dynamic> {_kvPairs:#C3}
  #C5 = #org-dartlang-testcase:///opt_in_lib2.dart::_privateSetter=
}