/*
 * 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 An external variable declaration is a non-local, non-parameter
 * variable declaration prefixed by the modifier external. The declaration must
 * not be abstract, const, or late, and it cannot have an initializer expression
 *
 * @description Checks that it is a compile error if an external variable
 * declaration is abstract
 * @author sgrekhov@unipro.ru
 */
abstract class C {
  abstract external int i;
//         ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  final abstract external int j;
//               ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}

mixin M on C {
  abstract external int x;
//         ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  final abstract external int y;
//               ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}

main() {
}