| // Copyright (c) 2015, 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. |
| |
| // This test has been modified: it is now ok to use deferred types as long as |
| // they aren't instantiated. |
| |
| library regress_23408_test; |
| |
| import 'package:expect/expect.dart'; |
| |
| import 'regress_23408_lib.dart' deferred as lib; |
| |
| class A<T> extends C { |
| get t => T; |
| } |
| |
| class C { |
| var v = 55; |
| C(); |
| factory C.c() = lib.K; |
| factory C.l() = A<lib.K>; |
| } |
| |
| void main() { |
| var a = new C.l(); |
| Expect.equals(lib.K, a.t); |
| Expect.throws(() => new C.c()); |
| lib.loadLibrary().then((_) { |
| var b = new C.l(); |
| Expect.equals(lib.K, b.t); |
| var z = new C.c(); |
| Expect.equals(55, z.v); |
| }); |
| } |