OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 // dart2js used to have an infinite loop in its type propagation | 5 // dart2js used to have an infinite loop in its type propagation |
6 // algorithm due to types becoming broader instead of narrower. | 6 // algorithm due to types becoming broader instead of narrower. |
7 | 7 |
8 import "package:expect/expect.dart"; | 8 import "package:expect/expect.dart"; |
9 | 9 |
10 class A { | 10 class A { |
(...skipping 23 matching lines...) Expand all Loading... |
34 var a = 43; | 34 var a = 43; |
35 | 35 |
36 class B { | 36 class B { |
37 var getter = a == 42 ? new A() : null; | 37 var getter = a == 42 ? new A() : null; |
38 } | 38 } |
39 | 39 |
40 main() { | 40 main() { |
41 Expect.isTrue(new A().visitSend(new A()) is A); | 41 Expect.isTrue(new A().visitSend(new A()) is A); |
42 Expect.isTrue(new A().visitSend(null) is B); | 42 Expect.isTrue(new A().visitSend(null) is B); |
43 } | 43 } |
OLD | NEW |