// Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

import 'dont_inline_deferred_constants_lib1.dart' deferred as lib1;
import 'dont_inline_deferred_constants_lib2.dart' deferred as lib2;

/*element: c:OutputUnit(main, {})*/
const c = /*OutputUnit(main, {})*/ "string3";

class C {
  /*element: C.p:OutputUnit(main, {})*/
  final p;

  /*element: C.:OutputUnit(main, {})*/
  const C(this.p);
}

/*element: foo:OutputUnit(2, {lib1, lib2})*/
foo() => print("main");

/*element: main:OutputUnit(main, {})*/
void main() {
  lib1.loadLibrary().then((_) {
    lib2.loadLibrary().then((_) {
      lib1.foo();
      lib2.foo();
      print(lib1.C1);
      print(lib1.C2);
      print(lib1.D.C3);
      print(c);
      print(lib1.C4);
      print(lib2.C4);
      print(lib1.C5);
      print(lib2.C5);
      print(lib1.C6);
      print(lib2.C6);
      print("string4");
      print(const C(1));
    });
  });
}