/*
 * Copyright (c) 2020, 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 is modified as follows:
 *
 * <topLevelDefinition> ::=
 *  ... |
 *  // New alternative.
 *  'external' <finalVarOrType> <identifierList> ';'
 *
 *  <finalVarOrType> ::= // New rule.
 *  'final' <type>? |
 *  <varOrType>
 *
 *  <declaration> ::=
 *  ... |
 *  // New alternative.
 *  'external' ('static'? <finalVarOrType> | 'covariant' <varOrType>)
 *  <identifierList> |
 * // New alternative.
 *  'abstract' (<finalVarOrType> | 'covariant' <varOrType>) <identifierList>
 *
 * @description Checks topLevelDefinition syntax
 * @author sgrekhov@unipro.ru
 * @issue 43855
 */
abstract class C {
  covariant abstract num i1;
//^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified

  covariant abstract var i2;
//^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}

main() {
  C? c;
}