blob: 462999bec341ea25bff6821bc611ee81fceb4db8 [file] [log] [blame]
// Copyright (c) 2013, 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.
// Test of parameterized types with invalid bounds.
class A<K extends int> {}
class B<X, Y> {
foo(x) {
return x is A<X>; // //# 00: dynamic type error, static type warning
main() {
var b = new B<double, double>(); A());