dart-sdk/tests/language/type_variable_scope_test.dart
Bob Nystrom 14011f47e3 Resurrect deleted language tests.
They're back from the grave, and ready to party!

Change-Id: I088134a9be7ecabf1fbf751c015a656a15cabff9
Reviewed-on: https://dart-review.googlesource.com/12821
Commit-Queue: Bob Nystrom <rnystrom@google.com>
Reviewed-by: William Hesse <whesse@google.com>
2017-10-11 17:47:11 +00:00

49 lines
1.1 KiB
Dart

// 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.
// Test that type variables referenced from within static members are malformed.
class Foo<T> {
Foo() {}
static
Foo<T> //# 00: static type warning
m(
Foo<T> //# 01: static type warning
f) {
Foo<T> x = new Foo<String>(); //# 02: static type warning
return new Foo<String>();
}
// T is in scope for a factory method.
factory Foo.I(Foo<T> f) {
Foo<T> x = f;
}
// T is not in scope for a static field.
static Foo<T> f1; //# 03: static type warning
static
Foo<T> //# 04: static type warning
get f {
return new Foo<String>();
}
static void set f(
Foo<T> //# 05: static type warning
value) {}
}
abstract class I<T> {
factory I(Foo<T> f) = Foo<T>.I;
}
main() {
Foo.m(new Foo<String>());
new I(new Foo<String>());
Foo.f1 = new Foo<String>(); //# 03: continued
var x = Foo.f;
Foo.f = x;
}