#3088. Remove weak mode from TypeSystem/subtyping (#3091)

sgrekhov · web-flow · commit d07b9b768fc2 · 2025-03-03T17:03:56.000+01:00
diff --git a/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_arguments_binding_fail_A01_t01.dart b/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_arguments_binding_fail_A01_t01.dart
@@ -22,8 +22,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 class T1 {
   const T1();
 }
diff --git a/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_arguments_binding_fail_A01_t02.dart b/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_arguments_binding_fail_A01_t02.dart
@@ -22,8 +22,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 class T1 {
   const T1();
 }
diff --git a/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_arguments_binding_fail_A01_t03.dart b/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_arguments_binding_fail_A01_t03.dart
@@ -22,8 +22,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 class T1 {
   const T1();
 }
diff --git a/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_class_member_fail_A01_t01.dart b/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_class_member_fail_A01_t01.dart
@@ -22,8 +22,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 class T1 {
   const T1();
 }
diff --git a/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_class_member_fail_A01_t02.dart b/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_class_member_fail_A01_t02.dart
@@ -22,8 +22,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 class T1 {
   const T1();
 }
diff --git a/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_class_member_fail_A01_t03.dart b/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_class_member_fail_A01_t03.dart
@@ -22,8 +22,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 class T1 {
   const T1();
 }
diff --git a/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_global_variable_fail_A01_t01.dart b/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_global_variable_fail_A01_t01.dart
@@ -22,8 +22,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 class T1 {
   const T1();
 }
diff --git a/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_local_variable_fail_A01_t01.dart b/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_local_variable_fail_A01_t01.dart
@@ -22,8 +22,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 class T1 {
   const T1();
 }
diff --git a/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_return_value_fail_A01_t01.dart b/TypeSystem/subtyping/dynamic/generated/left_nullable_fail_return_value_fail_A01_t01.dart
@@ -22,8 +22,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 class T1 {
   const T1();
 }
diff --git a/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart b/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart
@@ -37,8 +37,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t02.dart b/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t02.dart
@@ -37,8 +37,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t03.dart b/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t03.dart
@@ -37,8 +37,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t01.dart b/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t01.dart
@@ -37,8 +37,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t02.dart b/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t02.dart
@@ -37,8 +37,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t03.dart b/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t03.dart
@@ -37,8 +37,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_global_variable_fail_A61_t01.dart b/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_global_variable_fail_A61_t01.dart
@@ -37,8 +37,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_local_variable_fail_A61_t01.dart b/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_local_variable_fail_A61_t01.dart
@@ -37,8 +37,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_return_value_fail_A61_t01.dart b/TypeSystem/subtyping/dynamic/generated/named_function_types_fail_return_value_fail_A61_t01.dart
@@ -37,8 +37,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A07_t01.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A07_t01.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 class S {}
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A07_t02.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A07_t02.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 class S {}
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A07_t03.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A07_t03.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 class S {}
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A08_t01.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A08_t01.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 FutureOr<Null> t0Instance = null;
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A08_t02.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A08_t02.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 FutureOr<Null> t0Instance = null;
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A08_t03.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_arguments_binding_fail_A08_t03.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 FutureOr<Null> t0Instance = null;
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A07_t01.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A07_t01.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 class S {}
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A07_t02.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A07_t02.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 class S {}
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A07_t03.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A07_t03.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 class S {}
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A08_t01.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A08_t01.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 FutureOr<Null> t0Instance = null;
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A08_t02.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A08_t02.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 FutureOr<Null> t0Instance = null;
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A08_t03.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_class_member_fail_A08_t03.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 FutureOr<Null> t0Instance = null;
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_global_variable_fail_A07_t01.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_global_variable_fail_A07_t01.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 class S {}
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_global_variable_fail_A08_t01.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_global_variable_fail_A08_t01.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 FutureOr<Null> t0Instance = null;
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_local_variable_fail_A07_t01.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_local_variable_fail_A07_t01.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 class S {}
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_local_variable_fail_A08_t01.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_local_variable_fail_A08_t01.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 FutureOr<Null> t0Instance = null;
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_return_value_fail_A07_t01.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_return_value_fail_A07_t01.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 class S {}
diff --git a/TypeSystem/subtyping/dynamic/generated/right_object_fail_return_value_fail_A08_t01.dart b/TypeSystem/subtyping/dynamic/generated/right_object_fail_return_value_fail_A08_t01.dart
@@ -29,8 +29,6 @@
 import '../../utils/common.dart';
 import '../../../../Utils/expect.dart';
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 FutureOr<Null> t0Instance = null;
diff --git a/TypeSystem/subtyping/dynamic/test_types/left_nullable_fail_A01.dart b/TypeSystem/subtyping/dynamic/test_types/left_nullable_fail_A01.dart
@@ -10,8 +10,6 @@
 /// subtype T1 then T0 is not subtype of T1.
 /// @author sgrekhov@unipro.ru
 
-// Requirements=nnbd-strong
-
 class T1 {
   const T1();
 }
diff --git a/TypeSystem/subtyping/dynamic/test_types/right_object_fail_A07.dart b/TypeSystem/subtyping/dynamic/test_types/right_object_fail_A07.dart
@@ -17,8 +17,6 @@
 /// of Object then T0 is not subtype of T1
 /// @author sgrekhov@unipro.ru
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 class S {}
diff --git a/TypeSystem/subtyping/dynamic/test_types/right_object_fail_A08.dart b/TypeSystem/subtyping/dynamic/test_types/right_object_fail_A08.dart
@@ -17,8 +17,6 @@
 /// of Object then T0 is not subtype of T1
 /// @author sgrekhov@unipro.ru
 
-// Requirements=nnbd-strong
-
 import "dart:async";
 
 FutureOr<Null> t0Instance = null;
diff --git a/TypeSystem/subtyping/static/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart b/TypeSystem/subtyping/static/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart
@@ -35,8 +35,6 @@
 /// If you need to change this test, then change one of the files above and then
 /// run generator/generator.dart to regenerate the tests.
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/static/generated/named_function_types_fail_arguments_binding_mixin_fail_A61_t01.dart b/TypeSystem/subtyping/static/generated/named_function_types_fail_arguments_binding_mixin_fail_A61_t01.dart
@@ -36,8 +36,6 @@
 /// If you need to change this test, then change one of the files above and then
 /// run generator/generator.dart to regenerate the tests.
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/static/generated/named_function_types_fail_arguments_binding_super_fail_A61_t01.dart b/TypeSystem/subtyping/static/generated/named_function_types_fail_arguments_binding_super_fail_A61_t01.dart
@@ -36,8 +36,6 @@
 /// If you need to change this test, then change one of the files above and then
 /// run generator/generator.dart to regenerate the tests.
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/static/generated/named_function_types_fail_class_member_fail_A61_t01.dart b/TypeSystem/subtyping/static/generated/named_function_types_fail_class_member_fail_A61_t01.dart
@@ -36,8 +36,6 @@
 /// If you need to change this test, then change one of the files above and then
 /// run generator/generator.dart to regenerate the tests.
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/static/generated/named_function_types_fail_class_member_mixin_fail_A61_t01.dart b/TypeSystem/subtyping/static/generated/named_function_types_fail_class_member_mixin_fail_A61_t01.dart
@@ -36,8 +36,6 @@
 /// If you need to change this test, then change one of the files above and then
 /// run generator/generator.dart to regenerate the tests.
 
-// Requirements=nnbd-strong
-
 typedef void F0({required int i});
 typedef void F1({int i});
 
diff --git a/TypeSystem/subtyping/static/generated/named_function_types_fail_class_member_super_fail_A61_t01.dart b/TypeSystem/subtyping/static/generated/named_function_types_fail_class_member_super_fail_A61_t01.dart
diff --git a/TypeSystem/subtyping/static/generated/named_function_types_fail_global_variable_fail_A61_t01.dart b/TypeSystem/subtyping/static/generated/named_function_types_fail_global_variable_fail_A61_t01.dart
diff --git a/TypeSystem/subtyping/static/generated/named_function_types_fail_local_variable_fail_A61_t01.dart b/TypeSystem/subtyping/static/generated/named_function_types_fail_local_variable_fail_A61_t01.dart
diff --git a/TypeSystem/subtyping/static/generated/named_function_types_fail_return_value_fail_A61_t01.dart b/TypeSystem/subtyping/static/generated/named_function_types_fail_return_value_fail_A61_t01.dart
diff --git a/TypeSystem/subtyping/test_types/named_function_types_fail_A61.dart b/TypeSystem/subtyping/test_types/named_function_types_fail_A61.dart

Original file line number	Diff line number	Diff line change
`@@ -22,8 +22,6 @@`
`22`	`22`	`import '../../utils/common.dart';`
`23`	`23`	`import '../../../../Utils/expect.dart';`
`24`	`24`
`25`		`-// Requirements=nnbd-strong`
`26`		`-`
`27`	`25`	`class T1 {`
`28`	`26`	`const T1();`
`29`	`27`	`}`