| /* |
| * Copyright (c) 2011, 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. |
| */ |
| /** |
| * @assertion If T is a parameterized type S < U1 , . . . , Um >, let R = S. |
| * If T is not a parameterized type, let R = T. |
| * Furthermore, if e is of the form new T.id(a1 , . . . , an , xn+1 : an+1 , . . . , xn+k : an+k ) |
| * then let q be the constructor T.id, otherwise let q be the constructor T. |
| * If R is a generic with l = m type parameters then |
| * • T is not a parameterized type, then for i ∈ 1..l, let Vi = dynamic. |
| * • If T is a parameterized type then let Vi = Ui for i ∈ 1..m. |
| * If R is a generic with l = m type parameters then for i ∈ 1..l, let Vi = |
| * dynamic. In any other case, let Vi = Ui for i ∈ 1..m. |
| * @description Checks that it is not a compile-time error if S is not a generic type but was provided with type arguments in instance creation expression. |
| * @static-warning |
| * @author msyabro |
| */ |
| |
| class A {} |
| |
| main() { |
| new A<int>(); |
| } |
