|  | main = <No Member>; | 
|  | library from "org-dartlang-test:///main.dart" as main { | 
|  |  | 
|  | import "package:mypackage/a.dart"; | 
|  |  | 
|  | } | 
|  | library from "package:mypackage/a.dart" as a { | 
|  |  | 
|  | import "package:mypackage/b.dart"; | 
|  |  | 
|  | class Foo<T extends dart.core::Object? = dynamic> extends dart.core::Object { | 
|  | synthetic constructor •() → a::Foo<a::Foo::T%> | 
|  | : super dart.core::Object::•() | 
|  | ; | 
|  | } | 
|  | class Bar<T extends dart.core::Object? = dynamic> extends a::Foo<a::Bar::T%> { | 
|  | synthetic constructor •() → a::Bar<a::Bar::T%> | 
|  | : super a::Foo::•() | 
|  | ; | 
|  | } | 
|  | } | 
|  | library from "package:mypackage/b.dart" as b { | 
|  | // | 
|  | // Problems in library: | 
|  | // | 
|  | // org-dartlang-test:///mypackage/c.dart:3:7: Error: 'Baz' can't implement both 'Foo<int>' and 'Foo<String>' | 
|  | //  - 'Foo' is from 'package:mypackage/a.dart' ('org-dartlang-test:///mypackage/a.dart'). | 
|  | // class Baz extends Bar<int> implements Foo<String> {} | 
|  | //       ^ | 
|  | // | 
|  |  | 
|  | import "package:mypackage/a.dart"; | 
|  |  | 
|  | part package:mypackage/c.dart; | 
|  | class Baz extends a::Bar<dart.core::int> implements a::Foo<dart.core::String> { // from org-dartlang-test:///mypackage/c.dart | 
|  | synthetic constructor •() → b::Baz | 
|  | : super a::Bar::•() | 
|  | ; | 
|  | } | 
|  | } |