| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 // Check possibly still unresolved upper bounds of default factory class. | 5 // Check possibly still unresolved upper bounds of default factory class. |
| 6 | 6 |
| 7 | |
| 8 abstract class A<T extends Foo> { | 7 abstract class A<T extends Foo> { |
| 9 factory A() = _AImpl<T>; | 8 factory A() = _AImpl<T>; |
| 10 } | 9 } |
| 11 | 10 |
| 12 class Moo extends Foo {} | 11 class Moo extends Foo {} |
| 13 | 12 |
| 14 class Foo extends Bar {} | 13 class Foo extends Bar {} |
| 15 | 14 |
| 16 class Bar {} | 15 class Bar {} |
| 17 | 16 |
| 18 class _AImpl<T extends Foo> implements A<T> { | 17 class _AImpl<T extends Foo> implements A<T> { |
| 19 factory _AImpl(){} | 18 factory _AImpl() {} |
| 20 } | 19 } |
| 21 | 20 |
| 22 main() { | 21 main() { |
| 23 var result = new A<Moo>(); | 22 var result = new A<Moo>(); |
| 24 } | 23 } |
| OLD | NEW |