// Copyright (c) 2012, 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. | |
// Regression test for http://dartbug.com/6036. dart2js used to fail | |
// this method because it was computing that intersecting type D with | |
// type C is conflicting. | |
foo(a, b) { | |
if (a === b) return; | |
throw 'broken'; | |
} | |
class D {} | |
class C implements D {} | |
main() { | |
var c = new C(); | |
foo(c, c as D); | |
} |