blob: e129c2aefb384f6f4e6341e14a6a7677a86c3af1 [file] [log] [blame]
// Copyright (c) 2014, 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.
// This test checks for a regression found in Dart Editor: the
// analyzer was treating [Type] as more specific than any type
// variable (generic parameter).
class X<T extends Type> {}
// This line is supposed to cause the warning; the other lines are
// marked because they don't make sense when [Y] is not defined.
class Y<U> extends X<U> {} //# 01: compile-time error
main() {
X<Type> x = new X<Type>(); //# 01: compile-time error
Y<Type> y = new Y<Type>(); //# 01: compile-time error