blob: 9009863140d50850f7c97322fe52611da49b639d [file] [log] [blame]
// 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.
import "package:expect/expect.dart";
class A<T> {
late Function closure;
A._(this.closure);
factory A() {
return new A._(() => new Set<T>());
}
A.bar() {
closure = () => new Set<T>();
}
static
T //# 01: compile-time error
staticMethod(
T //# 02: compile-time error
a) {
final
T //# 03: compile-time error
a = "not_null";
print(a);
return a;
}
static final
T //# 04: compile-time error
staticFinalField = "not_null";
static const
T //# 05: compile-time error
staticConstField = "not_null";
static not_null() => "not_null";
static final
T //# 06: compile-time error
staticFinalField2 = not_null();
// Type parameters are not in scope inside static methods.
static
T //# 07: compile-time error
staticMethod2(
T //# 07: compile-time error
a) {
final
T //# 07: compile-time error
a = null;
print(a);
return a;
}
static final
T //# 08: compile-time error
staticFinalField3 = null;
static null_() => null;
static final
T //# 09: compile-time error
staticFinalField4 = null_();
}
main() {
var s = ((new A()).closure)();
Expect.isTrue(s is Set);
s = ((new A.bar()).closure)();
Expect.isTrue(s is Set);
s = ((new A<int>()).closure)();
Expect.isTrue(s is Set<int>);
Expect.isFalse(s is Set<double>);
s = ((new A<int>.bar()).closure)();
Expect.isTrue(s is Set<int>);
Expect.isFalse(s is Set<double>);
A.staticMethod("not_null");
print(A.staticFinalField);
print(A.staticConstField);
print(A.staticFinalField2);
A.staticMethod2(null);
print(A.staticFinalField3);
print(A.staticFinalField4);
}