dart-sdk/tests/language/issue18628_2_test.dart
collinsn@google.com 2ccac8093b Add language tests for Issue 18628.
As suggested by @karlklose in https://codereview.chromium.org/513563002/
comments.

Improve testing documentation.

- add a README
- add a description by example of selectors to the "./tools/test.py -h"
  output
- update/add source comments

I had a hard time figuring out how to add and run the tests, mostly
because I tried to call them "*_test_1.dart" and "*_test_2.dart", but
language test files must have names of the form "*_test.dart".  So, I
added a README summarizing and referencing the relevant docs.

R=brianwilkerson@google.com, karlklose@google.com, jwren@google.com
BUG=

Review URL: https://codereview.chromium.org//521773003

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@39822 260f80e4-7a28-3924-810f-c04153c831b5
2014-09-03 18:51:25 +00:00

21 lines
778 B
Dart

// 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).
//
// https://code.google.com/p/dart/issues/detail?id=18628
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: static type warning
main() {
X<Type> x = new X<Type>(); /// 01: static type warning
Y<Type> y = new Y<Type>(); /// 01: static type warning
}