| // Copyright (c) 2019, 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 The grammar for types does not allow multiple successive ? |
| /// operators on a type. That is, the grammar for types is nominally equivalent |
| /// to: |
| /// type' ::= functionType |
| /// | qualified typeArguments? |
| /// type ::= type' `?`? |
| /// |
| /// @description Check that it is no error to have multiple ? but not in the type |
| /// declaration |
| /// @author sgrekhov@unipro.ru |
| |
| // Requirements=nnbd-strong |
| class A {} |
| |
| class C<T> { |
| T? t; |
| } |
| |
| main() { |
| C<int?>(); // C.t has type int??, it's Ok |
| C<A?>(); // C.t has type A??, it's Ok |
| } |