blob: 05f8c0b3d9f989e6eadbe54b5bdf2e1d2bda1ff7 [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.
// @dart = 2.9
// Test of parameterized factory methods.
class Foo<T extends num> {
Foo();
factory Foo.bad() = XFoo; // //# 00: compile-time error
factory Foo.good() = Foo<T>;
factory Foo.IFoo() {
return null;
}
}
abstract class IFoo<T extends num> {
factory IFoo() = Foo<T>; //# 11: compile-time error
}
// String is not a subtype of num.
class Baz
extends Foo<String> //# 01: compile-time error
{}
class Biz extends Foo<int> {}
Foo<int> fi;
// String is not a subtype of num.
Foo
<String> //# 02: compile-time error
fs;
class Box<T> {
// Box.T is not guaranteed to be a subtype of num.
Foo<T> t; //# 03: compile-time error
makeFoo() {
// Box.T is not guaranteed to be a subtype of num.
return new Foo<T>(); //# 04: compile-time error
}
}
main() {
// String is not a subtype of num.
var v1 = new Foo<String>(); //# 05: compile-time error
// String is not a subtype of num.
Foo<String> v2 = null; //# 06: compile-time error
new Baz();
new Biz();
fi = new Foo();
fs = new Foo();
new Box().makeFoo();
new Box<int>().makeFoo();
new Box<String>().makeFoo();
// Fisk does not exist.
new Box<Fisk>(); //# 07: compile-time error
// Too many type arguments.
new Box<Object, Object>(); //# 08: compile-time error
// Fisk does not exist.
Box<Fisk> box = null; //# 09: compile-time error
// Too many type arguments.
Box<Object, Object> box = null; //# 10: compile-time error
}