#2522. Move type-normalization weak tests to TypeSystem dir (#2526)

dart-lang · Feb 7, 2024 · 329af71 · 329af71
1 parent 299a106
commit 329af71
Show file tree

Hide file tree

Showing 49 changed files with 42 additions and 47 deletions.
diff --git a/...type-normalization/equations_A01_t01.dart → ...normalization/weak/equations_A01_t01.dart b/...type-normalization/equations_A01_t01.dart → ...normalization/weak/equations_A01_t01.dart
@@ -8,7 +8,6 @@
 ///   T?? == T?
 ///
 /// @description Checks that T?? == T?
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak

diff --git a/...type-normalization/equations_A02_t01.dart → ...normalization/weak/equations_A02_t01.dart b/...type-normalization/equations_A02_t01.dart → ...normalization/weak/equations_A02_t01.dart
@@ -8,10 +8,10 @@
 ///   T?* == T?
 ///
 /// @description Checks that T?* == T?
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'opted_in_lib.dart';
 import 'opted_out_lib.dart';
 

diff --git a/...type-normalization/equations_A03_t01.dart → ...normalization/weak/equations_A03_t01.dart b/...type-normalization/equations_A03_t01.dart → ...normalization/weak/equations_A03_t01.dart
@@ -8,10 +8,10 @@
 ///   T*? == T?
 ///
 /// @description Checks that T*? == T?
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'opted_in_lib.dart';
 import 'opted_out_lib.dart';
 

diff --git a/...type-normalization/equations_A04_t01.dart → ...normalization/weak/equations_A04_t01.dart b/...type-normalization/equations_A04_t01.dart → ...normalization/weak/equations_A04_t01.dart
@@ -8,10 +8,10 @@
 ///   T** == T*
 ///
 /// @description Checks that T** == T*
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'opted_out_lib.dart';
 
 class C extends LC2<String> implements LC<String> {}

diff --git a/...type-normalization/equations_A05_t01.dart → ...normalization/weak/equations_A05_t01.dart b/...type-normalization/equations_A05_t01.dart → ...normalization/weak/equations_A05_t01.dart
@@ -8,10 +8,10 @@
 ///   Null? == Null
 ///
 /// @description Checks that Null? == Null
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 class A<X> {}
 class B<X> implements A<X> {}
 

diff --git a/...type-normalization/equations_A06_t01.dart → ...normalization/weak/equations_A06_t01.dart b/...type-normalization/equations_A06_t01.dart → ...normalization/weak/equations_A06_t01.dart
@@ -8,10 +8,10 @@
 ///   Never? == Null
 ///
 /// @description Checks that Null? == Null
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 class A<X> {}
 class B<X> implements A<X> {}
 

diff --git a/...type-normalization/equations_A07_t01.dart → ...normalization/weak/equations_A07_t01.dart b/...type-normalization/equations_A07_t01.dart → ...normalization/weak/equations_A07_t01.dart
@@ -8,10 +8,10 @@
 ///   dynamic? == dynamic
 ///
 /// @description Checks that dynamic? == dynamic
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 class A<X> {}
 class B<X> implements A<X> {}
 

diff --git a/...type-normalization/equations_A08_t01.dart → ...normalization/weak/equations_A08_t01.dart b/...type-normalization/equations_A08_t01.dart → ...normalization/weak/equations_A08_t01.dart
@@ -8,7 +8,6 @@
 ///   void? == void
 ///
 /// @description Checks that void? == void
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak

diff --git a/...type-normalization/equations_A09_t01.dart → ...normalization/weak/equations_A09_t01.dart b/...type-normalization/equations_A09_t01.dart → ...normalization/weak/equations_A09_t01.dart
@@ -8,10 +8,10 @@
 ///   dynamic* == dynamic
 ///
 /// @description Checks that dynamic* == dynamic
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'opted_out_lib.dart';
 
 class C extends LD implements LA<dynamic> {}

diff --git a/...type-normalization/equations_A10_t01.dart → ...normalization/weak/equations_A10_t01.dart b/...type-normalization/equations_A10_t01.dart → ...normalization/weak/equations_A10_t01.dart
@@ -8,10 +8,10 @@
 ///   void* == void
 ///
 /// @description Checks that void* == void
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'opted_out_lib.dart';
 
 class C extends LV implements LA<void> {}

diff --git a/...type-normalization/equations_A11_t01.dart → ...normalization/weak/equations_A11_t01.dart b/...type-normalization/equations_A11_t01.dart → ...normalization/weak/equations_A11_t01.dart
@@ -8,10 +8,10 @@
 ///   FutureOr<T> == T if Future<T> <: T
 ///
 /// @description Checks that if Future<T> <: T then FutureOr<T> == T
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'dart:async';
 
 class A<X> {}

diff --git a/...type-normalization/equations_A12_t01.dart → ...normalization/weak/equations_A12_t01.dart b/...type-normalization/equations_A12_t01.dart → ...normalization/weak/equations_A12_t01.dart
@@ -8,10 +8,10 @@
 ///   FutureOr<T> == Future<T> if T <: Future<T>
 ///
 /// @description Checks that if T <: Future<T> then FutureOr<T> == Future<T>
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'dart:async';
 
 class A<X> {}

diff --git a/...type-normalization/equations_A13_t01.dart → ...normalization/weak/equations_A13_t01.dart b/...type-normalization/equations_A13_t01.dart → ...normalization/weak/equations_A13_t01.dart
@@ -8,7 +8,6 @@
 ///   X extend Never == Never
 ///
 /// @description Checks that X extend Never == Never
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak

diff --git a/...weak/type-normalization/norm_A02_t01.dart → ...type-normalization/weak/norm_A02_t01.dart b/...weak/type-normalization/norm_A02_t01.dart → ...type-normalization/weak/norm_A02_t01.dart
@@ -14,10 +14,10 @@
 ///
 /// @description Checks that if NORM(T) is a top type then NORM(FutureOr<T>) =
 /// NORM(T)
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'dart:async';
 
 class A<X> {}

diff --git a/...weak/type-normalization/norm_A02_t02.dart → ...type-normalization/weak/norm_A02_t02.dart b/...weak/type-normalization/norm_A02_t02.dart → ...type-normalization/weak/norm_A02_t02.dart
@@ -14,10 +14,10 @@
 ///
 /// @description Checks that if NORM(T) is Object then
 /// NORM(FutureOr<T>) = Object
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'dart:async';
 
 class A<X> {}

diff --git a/...weak/type-normalization/norm_A02_t03.dart → ...type-normalization/weak/norm_A02_t03.dart b/...weak/type-normalization/norm_A02_t03.dart → ...type-normalization/weak/norm_A02_t03.dart
@@ -14,10 +14,10 @@
 ///
 /// @description Checks that if NORM(T) is Object* then
 /// NORM(FutureOr<T>) = Object*
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'opted_out_lib.dart';
 
 class C extends LFO implements LAO {}

diff --git a/...weak/type-normalization/norm_A02_t04.dart → ...type-normalization/weak/norm_A02_t04.dart b/...weak/type-normalization/norm_A02_t04.dart → ...type-normalization/weak/norm_A02_t04.dart
@@ -14,11 +14,11 @@
 ///
 /// @description Checks that if NORM(T) is Never then
 /// NORM(FutureOr<T>) = Future<Never>
-///
 /// @author sgrekhov@unipro.ru
 /// @issue 41632
 
 // Requirements=nnbd-weak
+
 import 'dart:async';
 
 class A<X> {}

diff --git a/...weak/type-normalization/norm_A02_t05.dart → ...type-normalization/weak/norm_A02_t05.dart b/...weak/type-normalization/norm_A02_t05.dart → ...type-normalization/weak/norm_A02_t05.dart
@@ -14,10 +14,10 @@
 ///
 /// @description Checks that if NORM(T) is Null then
 /// NORM(FutureOr<T>) = Future<Null>?
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'dart:async';
 
 class A<X> {}

diff --git a/...weak/type-normalization/norm_A02_t07.dart → ...type-normalization/weak/norm_A02_t07.dart b/...weak/type-normalization/norm_A02_t07.dart → ...type-normalization/weak/norm_A02_t07.dart
@@ -15,10 +15,10 @@
 /// @description Checks that otherwise NORM(FutureOr<T>) = FutureOr<NORM(T)>.
 /// Test that NORM(FutureOr<T??>) == FutureOr<T?> and
 /// NORM(FutureOr<Never?>) == FutureOr<Null>
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'dart:async';
 
 class T {}

diff --git a/...weak/type-normalization/norm_A03_t01.dart → ...type-normalization/weak/norm_A03_t01.dart b/...weak/type-normalization/norm_A03_t01.dart → ...type-normalization/weak/norm_A03_t01.dart
@@ -16,7 +16,6 @@
 ///  else S?
 ///
 /// @description Checks that if NORM(T) is a top type then NORM(T?) = NORM(T)
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak

diff --git a/...weak/type-normalization/norm_A03_t02.dart → ...type-normalization/weak/norm_A03_t02.dart b/...weak/type-normalization/norm_A03_t02.dart → ...type-normalization/weak/norm_A03_t02.dart
@@ -16,7 +16,6 @@
 ///  else S?
 ///
 /// @description Checks that if NORM(T) is Never then NORM(T?) = Null
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak

diff --git a/...weak/type-normalization/norm_A03_t03.dart → ...type-normalization/weak/norm_A03_t03.dart b/...weak/type-normalization/norm_A03_t03.dart → ...type-normalization/weak/norm_A03_t03.dart
@@ -16,7 +16,6 @@
 ///  else S?
 ///
 /// @description Checks that if NORM(T) is Never* then NORM(T?) = Null
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak

diff --git a/...weak/type-normalization/norm_A03_t04.dart → ...type-normalization/weak/norm_A03_t04.dart b/...weak/type-normalization/norm_A03_t04.dart → ...type-normalization/weak/norm_A03_t04.dart
@@ -16,10 +16,10 @@
 ///  else S?
 ///
 /// @description Checks that if NORM(T) is Null then NORM(T?) = Null
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 class A<X> {}
 class B1<X> implements A<X> {}
 class B2<X> implements A<X?> {}

diff --git a/...weak/type-normalization/norm_A03_t05.dart → ...type-normalization/weak/norm_A03_t05.dart b/...weak/type-normalization/norm_A03_t05.dart → ...type-normalization/weak/norm_A03_t05.dart
@@ -17,11 +17,12 @@
 ///
 /// @description Checks that if NORM(T) is FutureOr<R> and R is nullable then
 /// NORM(T?) = FutureOr<R>
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'dart:async';
+
 class A<X> {}
 class B1<X> implements A<X> {}
 class B2<X> implements A<FutureOr<X?>?> {}

diff --git a/...weak/type-normalization/norm_A03_t07.dart → ...type-normalization/weak/norm_A03_t07.dart b/...weak/type-normalization/norm_A03_t07.dart → ...type-normalization/weak/norm_A03_t07.dart
@@ -17,10 +17,10 @@
 ///
 /// @description Checks that if NORM(T) is FutureOr<R>* and R is nullable then
 /// NORM(T?) = FutureOr<R>
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'dart:async';
 import 'opted_in_lib.dart';
 import 'opted_out_lib.dart';

diff --git a/...weak/type-normalization/norm_A03_t08.dart → ...type-normalization/weak/norm_A03_t08.dart b/...weak/type-normalization/norm_A03_t08.dart → ...type-normalization/weak/norm_A03_t08.dart
@@ -16,10 +16,10 @@
 ///  else S?
 ///
 /// @description Checks that if NORM(T) is R? then NORM(T?) = R?
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 class T {}
 class A<X> {}
 class B<X> implements A<X?> {}

diff --git a/...weak/type-normalization/norm_A03_t09.dart → ...type-normalization/weak/norm_A03_t09.dart b/...weak/type-normalization/norm_A03_t09.dart → ...type-normalization/weak/norm_A03_t09.dart
@@ -16,10 +16,10 @@
 ///  else S?
 ///
 /// @description Checks that if NORM(T) is R* then NORM(T?) = R?
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'opted_in_lib.dart';
 import 'opted_out_lib.dart';
 

diff --git a/...weak/type-normalization/norm_A03_t10.dart → ...type-normalization/weak/norm_A03_t10.dart b/...weak/type-normalization/norm_A03_t10.dart → ...type-normalization/weak/norm_A03_t10.dart
@@ -16,10 +16,10 @@
 ///  else S?
 ///
 /// @description Checks that if NORM(T) is S then NORM(T?) = S?
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 class T {}
 class A<X> {}
 class B<X> implements A<X?> {}

diff --git a/...weak/type-normalization/norm_A04_t01.dart → ...type-normalization/weak/norm_A04_t01.dart b/...weak/type-normalization/norm_A04_t01.dart → ...type-normalization/weak/norm_A04_t01.dart
@@ -12,10 +12,10 @@
 ///  else S*
 ///
 /// @description Checks that if NORM(T) is a top type then NORM(T*) = NORM(T)
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'opted_in_lib.dart';
 import 'opted_out_lib.dart';
 

diff --git a/...weak/type-normalization/norm_A04_t02.dart → ...type-normalization/weak/norm_A04_t02.dart b/...weak/type-normalization/norm_A04_t02.dart → ...type-normalization/weak/norm_A04_t02.dart
@@ -12,10 +12,10 @@
 ///  else S*
 ///
 /// @description Checks that if NORM(T) is Null then NORM(T*) = Null
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'opted_in_lib.dart';
 import 'opted_out_lib.dart';
 

diff --git a/...weak/type-normalization/norm_A04_t03.dart → ...type-normalization/weak/norm_A04_t03.dart b/...weak/type-normalization/norm_A04_t03.dart → ...type-normalization/weak/norm_A04_t03.dart
@@ -12,10 +12,10 @@
 ///  else S*
 ///
 /// @description Checks that if NORM(T) is R? then NORM(T*) = R?
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'opted_in_lib.dart';
 import 'opted_out_lib.dart';
 

diff --git a/...weak/type-normalization/norm_A04_t04.dart → ...type-normalization/weak/norm_A04_t04.dart b/...weak/type-normalization/norm_A04_t04.dart → ...type-normalization/weak/norm_A04_t04.dart
@@ -12,10 +12,10 @@
 ///  else S*
 ///
 /// @description Checks that if NORM(T) is R* then NORM(T*) = R*
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 import 'opted_out_lib.dart';
 
 class C extends LC2<String> implements LC<String> {}

diff --git a/...weak/type-normalization/norm_A05_t01.dart → ...type-normalization/weak/norm_A05_t01.dart b/...weak/type-normalization/norm_A05_t01.dart → ...type-normalization/weak/norm_A05_t01.dart
@@ -9,10 +9,10 @@
 ///  else X extends T
 ///
 /// @description Checks that if NORM(T) is Never then NORM(X extends T) = Never
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 class A<X> {}
 class B<X extends Never> implements A<X> {}
 

diff --git a/...weak/type-normalization/norm_A05_t02.dart → ...type-normalization/weak/norm_A05_t02.dart b/...weak/type-normalization/norm_A05_t02.dart → ...type-normalization/weak/norm_A05_t02.dart
@@ -9,10 +9,10 @@
 ///  else X extends T
 ///
 /// @description Checks that if NORM(T) is NORM(X extends T)
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 class T {}
 class T1 extends T {}
 class T2 extends T {}

diff --git a/...weak/type-normalization/norm_A06_t01.dart → ...type-normalization/weak/norm_A06_t01.dart b/...weak/type-normalization/norm_A06_t01.dart → ...type-normalization/weak/norm_A06_t01.dart
@@ -7,10 +7,10 @@
 ///
 /// @description Checks that NORM(C<T0, ..., Tn>) = C<R0, ..., Rn> where Ri is
 /// NORM(Ti). Test T?? == T?
-///
 /// @author sgrekhov@unipro.ru
 
 // Requirements=nnbd-weak
+
 class T {}
 class A<X> {}
 class B<X> implements A<C<X?>> {}