Add type alias cyclicity test, with new syntax, generic function types
Change-Id: I3cf5fa5aeaf914951ceea46062c824c9e25ecbd8
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/186290
Commit-Queue: Erik Ernst <eernst@google.com>
Reviewed-by: Nate Bosch <nbosch@google.com>
diff --git a/tests/language/typedef/cyclic2_test.dart b/tests/language/typedef/cyclic2_test.dart
new file mode 100644
index 0000000..cf8befc
--- /dev/null
+++ b/tests/language/typedef/cyclic2_test.dart
@@ -0,0 +1,67 @@
+// Copyright (c) 2021, 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.
+
+// Test type alias cyclicity with new syntax and generic function types.
+
+// A body dependency, cycle length 1.
+typedef F1<X> = F1<X> Function();
+// [error line 8, column 1, length 33]
+// [analyzer] COMPILE_TIME_ERROR.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF
+// ^^
+// [cfe] The typedef 'F1' has a reference to itself.
+
+// A body dependency (in a bound), cycle length 1.
+typedef F2<X> = Function<Y extends F2<X>>(Y);
+// [error line 15, column 1, length 45]
+// [analyzer] COMPILE_TIME_ERROR.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF
+// ^^
+// [cfe] The typedef 'F2' has a reference to itself.
+
+// A bound dependency, cycle length 1.
+typedef F3<X extends F3<X>> = Function(X);
+// [error line 22, column 1, length 42]
+// [analyzer] COMPILE_TIME_ERROR.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF
+// ^^
+// [cfe] The typedef 'F3' has a reference to itself.
+
+// A body dependency, cycle length 2.
+typedef F4a<X> = F4b<X> Function();
+// [error line 29, column 1, length 35]
+// [analyzer] COMPILE_TIME_ERROR.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF
+// ^^^
+// [cfe] The typedef 'F4a' has a reference to itself.
+
+typedef F4b<X> = F4a<X> Function();
+// [error line 35, column 1, length 35]
+// [analyzer] COMPILE_TIME_ERROR.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF
+// ^^^
+// [cfe] The typedef 'F4b' has a reference to itself.
+
+// A body dependency (in a bound), cycle length 2.
+typedef F5a<X> = Function<Y extends F5b<X>>(Y);
+// [error line 42, column 1, length 47]
+// [analyzer] COMPILE_TIME_ERROR.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF
+// ^^^
+// [cfe] The typedef 'F5a' has a reference to itself.
+
+typedef F5b<X> = Function<Y extends F5a<X>>(Y);
+// [error line 48, column 1, length 47]
+// [analyzer] COMPILE_TIME_ERROR.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF
+// ^^^
+// [cfe] The typedef 'F5b' has a reference to itself.
+
+// A bound dependency, cycle length 2.
+typedef F6a<X extends F6b<X>> = Function(X);
+// [error line 55, column 1, length 44]
+// [analyzer] COMPILE_TIME_ERROR.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF
+// ^^^
+// [cfe] The typedef 'F6a' has a reference to itself.
+
+typedef F6b<X extends F6a<X>> = Function(X);
+// [error line 61, column 1, length 44]
+// [analyzer] COMPILE_TIME_ERROR.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF
+// ^^^
+// [cfe] The typedef 'F6b' has a reference to itself.
+
+void main() {}
