Extension type. Update WRONG_TYPE_PARAMETER_VARIANCE_IN_SUPERINTERFACE tests.
...to keep thme better aligned with https://github.com/dart-lang/language/commit/7206f91a55286d7a56c56ce6648c2142e2e93595
Change-Id: I52003ff6e6cfdf7b5bb427c65ef536f6d5a55f7a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/330989
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
diff --git a/pkg/analyzer/test/src/diagnostics/wrong_type_parameter_variance_in_superinterface_test.dart b/pkg/analyzer/test/src/diagnostics/wrong_type_parameter_variance_in_superinterface_test.dart
index d9b826d..4f64ce4 100644
--- a/pkg/analyzer/test/src/diagnostics/wrong_type_parameter_variance_in_superinterface_test.dart
+++ b/pkg/analyzer/test/src/diagnostics/wrong_type_parameter_variance_in_superinterface_test.dart
@@ -322,32 +322,34 @@
test_extensionType_contravariant() async {
await assertErrorsInCode(r'''
-extension type A<T>(int it) {}
-extension type B<T>(int it) implements A<void Function(T)> {}
+class A<T> {}
+extension type B<T>(A<void Function(Object?)> it)
+ implements A<void Function(T)> {}
''', [
error(
- CompileTimeErrorCode.WRONG_TYPE_PARAMETER_VARIANCE_IN_SUPERINTERFACE,
- 48,
- 1,
- ),
+ CompileTimeErrorCode.WRONG_TYPE_PARAMETER_VARIANCE_IN_SUPERINTERFACE,
+ 31,
+ 1),
]);
}
test_extensionType_covariant() async {
await assertNoErrorsInCode(r'''
-extension type A<T>(int it) {}
-extension type B<T>(int it) implements A<T Function()> {}
+class A<T> {}
+extension type B<T>(A<Never Function()> it)
+ implements A<T Function()> {}
''');
}
test_extensionType_invariant() async {
await assertErrorsInCode(r'''
-extension type A<T>(int it) {}
-extension type B<T>(int it) implements A<T Function(T)> {}
+class A<T> {}
+extension type B<T>(A<Never Function(Object?)> it)
+ implements A<T Function(T)> {}
''', [
error(
CompileTimeErrorCode.WRONG_TYPE_PARAMETER_VARIANCE_IN_SUPERINTERFACE,
- 48,
+ 31,
1,
),
]);
