| // 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 Static type annotations are used in variable declarations | |
| /// (including formal parameters), in the return types of functions and in the | |
| /// bounds of type variables. Static type annotations are used during static | |
| /// checking | |
| /// type: | |
| /// typeName typeArguments? | |
| /// ; | |
| /// typeName: | |
| /// qualified | |
| /// ; | |
| /// typeArguments: | |
| /// '<' typeList '>' | |
| /// ; | |
| /// typeList: | |
| /// type (',' type)* | |
| /// ; | |
| /// @description Checks that a generic type can not be parameterized with | |
| /// non-type (using null). | |
| /// @compile-error | |
| /// @author iefremov | |
| class G<T> { | |
| G() {} | |
| } | |
| main() { | |
| G<null>? t; | |
| } |