blob: 9d2d8a9859c061748ee0a684d7a696478af410e9 [file] [log] [blame]
// Copyright (c) 2013, 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.
class A<
Ta
extends num // //# 02: continued
> implements B<Ta>, C<Ta> {}
class B<
Tb
extends num // //# 03: continued
> {
factory B() = A<Tb>;
}
class C<
Tc
extends num // //# 04: continued
> {
factory C() = A<Tc>;
}
class D<
Td
extends num // //# 05: continued
> {
test() => new C<Td>();
}
main() {
new D<int>().test();
new D<String>().test(); // //# 01: ok
new D<String>().test(); // //# 02: compile-time error
new D<String>().test(); // //# 03: compile-time error
new D<String>().test(); // //# 04: compile-time error
new D<String>().test(); // //# 05: compile-time error
}