| 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 // Regression test for http://dartbug.com/6036. dart2js used to fail | 5 // Regression test for http://dartbug.com/6036. dart2js used to fail |
| 6 // this method because it was computing that intersecting type D with | 6 // this method because it was computing that intersecting type D with |
| 7 // type C is conflicting. | 7 // type C is conflicting. |
| 8 | 8 |
| 9 foo(a, b) { | 9 foo(a, b) { |
| 10 if (a === b) return; | 10 if (identical(a, b)) return; |
| 11 throw 'broken'; | 11 throw 'broken'; |
| 12 } | 12 } |
| 13 | 13 |
| 14 class D {} | 14 class D {} |
| 15 | 15 |
| 16 class C implements D {} | 16 class C implements D {} |
| 17 | 17 |
| 18 main() { | 18 main() { |
| 19 var c = new C(); | 19 var c = new C(); |
| 20 foo(c, c as D); | 20 foo(c, c as D); |
| 21 } | 21 } |
| OLD | NEW |