blob: 20089e6d37aa0a61528fd727951676c96f8efcb2 [file] [log] [blame]
// Copyright (c) 2016, 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 It is a syntax error if a built-in identifier is used as the
/// declared name of a prefix, class, mixin, enum, type parameter, type alias,
/// or extension.
///
/// @description Checks that it is a compile-time error if a built-in identifier
/// `deferred` is used as the declared name of a type variable.
/// @author ngl@unipro.ru
/// @issue 25732
class C<deferred> {
// ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
mixin M<deferred> {
// ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
enum E<deferred> {
// ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
e1;
}
void foo<deferred>() {}
// ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
extension Ext<deferred> on List {}
// ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
typedef int F1<deferred>();
// ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
typedef F2<deferred extends Comparable<deferred>> = int Function();
// ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
const void Function<deferred>()? c = null;
// ^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
main() {
print(C);
print(M);
print(E);
print(foo);
print(List);
print(F1);
print(F2);
print(c);
}