blob: bdfdda6cd3380fdef4d83f9ccb933d68d7b028b6 [file] [log] [blame]
// Copyright (c) 2011, 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.
import "package:expect/expect.dart";
class A { const A(); }
class B extends A { const B(); }
main() {
var set1 = new Set<B>();
set1.add(const B());
var set2 = new Set<B>();
var list = <B>[ const B() ];
var set3 = list.toSet();
var setOther = new Set<A>();
setOther.add(new A());
var sets = [set1, set2, set3];
for (var setToTest in sets) {
// Test that the set accepts another set that is not of the same type:
// Set<B>.intersection(Set<A>)
Set result = setToTest.intersection(setOther);
Expect.isTrue(result.isEmpty);
}
}