blob: de363f9d439aec1637043080756f214e4011eec5 [file] [log] [blame]
// TODO(multitest): This was automatically migrated from a multitest and may
// contain strange or dead code.
// @dart = 2.9
// Copyright (c) 2013, 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 instantiation of object with malbounded types.
class A<
T
> {}
class B<T> implements A<T> {}
class C<
T
> implements B<T> {}
class Class<T> {
newA() {
new A<T>();
}
newB() {
new B<T>();
}
newC() {
new C<T>();
}
}
void test(f()) {
var v = f();
}
void main() {
test(() => new A<int>());
// TODO(eernst): Should it be a compile-time error to create an instance
// of this class in #01?
test(() => new B<int>());
test(() => new C<int>());
test(() => new A<String>());
test(() => new B<String>());
test(() => new C<String>());
dynamic c = new Class<int>();
test(() => c.newA());
test(() => c.newB());
test(() => c.newC());
c = new Class<String>();
test(() => c.newA());
test(() => c.newB());
test(() => c.newC());
}