pkg/front_end/testcases/incremental/initializer_not_copied.yaml.world.1.expect

main = main::main;
library from "org-dartlang-test:///lib.dart" as lib {

  abstract class C1 extends dart.core::Object {
    synthetic constructor •() → lib::C1
      : super dart.core::Object::•()
      ;
    abstract method m() → dynamic;
  }
  abstract class C2 extends dart.core::Object {
    synthetic constructor •() → lib::C2
      : super dart.core::Object::•()
      ;
    abstract method m([dart.core::String a = #C1]) → dynamic;
  }
  abstract class C3 extends dart.core::Object implements lib::C1, lib::C2 {
    synthetic constructor •() → lib::C3
      : super dart.core::Object::•()
      ;
    abstract member-signature method m([dart.core::String a = #C1]) → dynamic; -> lib::C2::m
  }
  abstract class C4 extends dart.core::Object {
    synthetic constructor •() → lib::C4
      : super dart.core::Object::•()
      ;
    abstract method m([covariant-by-declaration dart.core::String a = #C2]) → dynamic;
  }
}
library from "org-dartlang-test:///main.dart" as main {

  import "org-dartlang-test:///lib.dart";

  class C extends lib::C3 implements lib::C4 {
    synthetic constructor •() → main::C
      : super lib::C3::•()
      ;
    method noSuchMethod(dart.core::Invocation invocation) → void {
      dart.core::print(invocation.{dart.core::Invocation::positionalArguments}{dart.core::List<dynamic>});
    }
    no-such-method-forwarder method m([covariant-by-declaration has-declared-initializer dart.core::String a]) → dynamic
      return this.{main::C::noSuchMethod}(new dart.core::_InvocationMirror::_withType(#C3, 0, #C4, dart.core::List::unmodifiable<dynamic>(dart.core::_GrowableList::_literal1<dynamic>(a)), dart.core::Map::unmodifiable<dart.core::Symbol, dynamic>(#C5))){(dart.core::Invocation) → void} as{TypeError,ForDynamic} dynamic;
  }
  static method main() → dynamic {
    main::C c = new main::C::•();
    c.{main::C::m}(){([dart.core::String]) → dynamic};
  }
}
constants  {
  #C1 = "a1"
  #C2 = "a2"
  #C3 = #m
  #C4 = <dart.core::Type*>[]
  #C5 = <dart.core::Symbol*, dynamic>{}
}