| // 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 |
| /// ⟨finalConstVarOrType⟩ ::= late? final ⟨type⟩? |
| /// | const ⟨type⟩? |
| /// | late? ⟨varOrType⟩ |
| /// |
| /// ⟨varOrType⟩ ::= var | ⟨type⟩ |
| /// |
| /// ⟨initializedVariableDeclaration⟩ ::= |
| /// ⟨declaredIdentifier⟩ (‘=’ ⟨expression⟩)? (‘,’ ⟨initializedIdentifier⟩)* |
| /// |
| /// ⟨initializedIdentifier⟩ ::= ⟨identifier⟩ (‘=’ ⟨expression⟩)? |
| /// |
| /// ⟨initializedIdentifierList⟩ ::= |
| /// ⟨initializedIdentifier⟩ (‘,’ ⟨initializedIdentifier⟩)* |
| /// |
| /// @description Checks that a variable may be abstract void. |
| /// See https://github.com/dart-lang/language/blob/master/accepted/2.12/abstract-external-fields/feature-specification.md |
| /// @author kaigorodov |
| |
| abstract class C { |
| abstract void x; |
| } |
| |
| main() { |
| C? c = null; |
| } |
