Skip to content

Commit 58ebab4

Browse files
sgrekhovsgrekhov
committed
#3088. Remove weak mode from TypeSystem/type-normalization
1 parent d285ef8 commit 58ebab4

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

58 files changed

+0
-849
lines changed

‎TypeSystem/type-normalization/equations_A01_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,6 @@
1010
/// @description Checks that T?? == T?
1111
/// @author [email protected]
1212
13-
// Requirements=nnbd-strong
14-
1513
class T {}
1614
class A<X> {}
1715
class B<X> implements A<X?> {}

‎TypeSystem/type-normalization/equations_A05_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,6 @@
1010
/// @description Checks that Null? == Null
1111
/// @author [email protected]
1212
13-
// Requirements=nnbd-strong
14-
1513
class A<X> {}
1614
class B<X> implements A<X> {}
1715

‎TypeSystem/type-normalization/equations_A06_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,6 @@
1010
/// @description Checks that Null? == Null
1111
/// @author [email protected]
1212
13-
// Requirements=nnbd-strong
14-
1513
class A<X> {}
1614
class B<X> implements A<X> {}
1715

‎TypeSystem/type-normalization/equations_A07_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,6 @@
1010
/// @description Checks that dynamic? == dynamic
1111
/// @author [email protected]
1212
13-
// Requirements=nnbd-strong
14-
1513
class A<X> {}
1614
class B<X> implements A<X> {}
1715

‎TypeSystem/type-normalization/equations_A08_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,6 @@
1010
/// @description Checks that void? == void
1111
/// @author [email protected]
1212
13-
// Requirements=nnbd-strong
14-
1513
class A<X> {}
1614
class B<X> implements A<X?> {}
1715

‎TypeSystem/type-normalization/equations_A11_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,6 @@
1010
/// @description Checks that if Future<T> <: T then FutureOr<T> == T
1111
/// @author [email protected]
1212
13-
// Requirements=nnbd-strong
14-
1513
import 'dart:async';
1614

1715
class A<X> {}

‎TypeSystem/type-normalization/equations_A12_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,6 @@
1010
/// @description Checks that if T <: Future<T> then FutureOr<T> == Future<T>
1111
/// @author [email protected]
1212
13-
// Requirements=nnbd-strong
14-
1513
import 'dart:async';
1614

1715
class A<X> {}

‎TypeSystem/type-normalization/equations_A13_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,6 @@
1010
/// @description Checks that X extend Never == Never
1111
/// @author [email protected]
1212
13-
// Requirements=nnbd-strong
14-
1513
class A<X> {}
1614
class B<X extends Never> implements A<X> {}
1715

‎TypeSystem/type-normalization/norm_A02_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,6 @@
1616
/// NORM(T)
1717
/// @author [email protected]
1818
19-
// Requirements=nnbd-strong
20-
2119
import 'dart:async';
2220

2321
class A<X> {}

‎TypeSystem/type-normalization/norm_A02_t02.dart

-2
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,6 @@
1616
/// NORM(FutureOr<T>) = Object
1717
/// @author [email protected]
1818
19-
// Requirements=nnbd-strong
20-
2119
import 'dart:async';
2220

2321
class A<X> {}

‎TypeSystem/type-normalization/norm_A02_t04.dart

-2
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,6 @@
1717
/// @author [email protected]
1818
/// @issue 41632
1919
20-
// Requirements=nnbd-strong
21-
2220
import 'dart:async';
2321

2422
class A<X> {}

‎TypeSystem/type-normalization/norm_A02_t05.dart

-2
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,6 @@
1616
/// NORM(FutureOr<T>) = Future<Null>?
1717
/// @author [email protected]
1818
19-
// Requirements=nnbd-strong
20-
2119
import 'dart:async';
2220

2321
class A<X> {}

‎TypeSystem/type-normalization/norm_A02_t07.dart

-2
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,6 @@
1717
/// NORM(FutureOr<Never?>) == FutureOr<Null>
1818
/// @author [email protected]
1919
20-
// Requirements=nnbd-strong
21-
2220
import 'dart:async';
2321

2422
class T {}

‎TypeSystem/type-normalization/norm_A03_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,6 @@
1818
/// @description Checks that if NORM(T) is a top type then NORM(T?) = NORM(T)
1919
/// @author [email protected]
2020
21-
// Requirements=nnbd-strong
22-
2321
class A<X> {}
2422
class B1<X> implements A<X> {}
2523
class B2<X> implements A<X?> {}

‎TypeSystem/type-normalization/norm_A03_t02.dart

-2
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,6 @@
1818
/// @description Checks that if NORM(T) is Never then NORM(T?) = Null
1919
/// @author [email protected]
2020
21-
// Requirements=nnbd-strong
22-
2321
class A<X> {}
2422
class B<X> implements A<X> {}
2523

‎TypeSystem/type-normalization/norm_A03_t04.dart

-1
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,6 @@
1818
/// @description Checks that if NORM(T) is Null then NORM(T?) = Null
1919
/// @author [email protected]
2020
21-
// Requirements=nnbd-strong
2221
class A<X> {}
2322
class B1<X> implements A<X> {}
2423
class B2<X> implements A<X?> {}

‎TypeSystem/type-normalization/norm_A03_t05.dart

-2
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,6 @@
1919
/// NORM(T?) = FutureOr<R>
2020
/// @author [email protected]
2121
22-
// Requirements=nnbd-strong
23-
2422
import 'dart:async';
2523

2624
class A<X> {}

‎TypeSystem/type-normalization/norm_A03_t08.dart

-2
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,6 @@
1818
/// @description Checks that if NORM(T) is R? then NORM(T?) = R?
1919
/// @author [email protected]
2020
21-
// Requirements=nnbd-strong
22-
2321
class T {}
2422
class A<X> {}
2523
class B<X> implements A<X?> {}

‎TypeSystem/type-normalization/norm_A03_t10.dart

-2
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,6 @@
1818
/// @description Checks that if NORM(T) is S then NORM(T?) = S?
1919
/// @author [email protected]
2020
21-
// Requirements=nnbd-strong
22-
2321
class T {}
2422
class A<X> {}
2523
class B<X> implements A<X?> {}

‎TypeSystem/type-normalization/norm_A05_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,6 @@
1111
/// @description Checks that if NORM(T) is Never then NORM(X extends T) = Never
1212
/// @author [email protected]
1313
14-
// Requirements=nnbd-strong
15-
1614
class A<X> {}
1715
class B<X extends Never> implements A<X> {}
1816

‎TypeSystem/type-normalization/norm_A05_t02.dart

-2
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,6 @@
1111
/// @description Checks that if NORM(T) is NORM(X extends T)
1212
/// @author [email protected]
1313
14-
// Requirements=nnbd-strong
15-
1614
class T {}
1715
class T1 extends T {}
1816
class T2 extends T {}

‎TypeSystem/type-normalization/norm_A06_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
/// NORM(Ti). Test T?? == T?
1010
/// @author [email protected]
1111
12-
// Requirements=nnbd-strong
13-
1412
class T {}
1513
class A<X> {}
1614
class B<X> implements A<C<X?>> {}

‎TypeSystem/type-normalization/norm_A06_t05.dart

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
/// NORM(Ti). Test Null?, dynamic?, Never?
1010
/// @author [email protected]
1111
12-
// Requirements=nnbd-strong
13-
1412
class A<X> {}
1513
class B<X> implements A<X> {}
1614

‎TypeSystem/type-normalization/norm_A06_t06.dart

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
/// NORM(Ti). Test void?
1010
/// @author [email protected]
1111
12-
// Requirements=nnbd-strong
13-
1412
class A<X> {}
1513
class B<X> implements A<C<X?>> {}
1614

‎TypeSystem/type-normalization/norm_A06_t09.dart

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
/// NORM(Ti). Test FutureOr<T> where Future<T> <: T
1010
/// @author [email protected]
1111
12-
// Requirements=nnbd-strong
13-
1412
import 'dart:async';
1513

1614
class A<X> {}

‎TypeSystem/type-normalization/norm_A06_t10.dart

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
/// NORM(Ti). Test FutureOr<T> == Future<T> where T <: Future<T>
1010
/// @author [email protected]
1111
12-
// Requirements=nnbd-strong
13-
1412
import 'dart:async';
1513

1614
class A<X> {}

‎TypeSystem/type-normalization/norm_A06_t11.dart

-2
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
/// NORM(Ti). Test X extend Never == Never
1010
/// @author [email protected]
1111
12-
// Requirements=nnbd-strong
13-
1412
class A<X> {}
1513
class B<X extends Never> implements A<C<X>> {}
1614
class C<X> {}

‎TypeSystem/type-normalization/norm_A07_t01.dart

-2
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,6 @@
1212
/// R1 Function<X extends B1>(S1).
1313
/// @author [email protected]
1414
15-
// Requirements=nnbd-strong
16-
1715
class A<X> {}
1816
class B<X> implements A<X> {}
1917

‎TypeSystem/type-normalization/norm_A07_t02.dart

-2
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,6 @@
1212
/// R1 Function<X extends B1>(S1).
1313
/// @author [email protected]
1414
15-
// Requirements=nnbd-strong
16-
1715
class A<X> {}
1816
class B<X> implements A<X> {}
1917

‎TypeSystem/type-normalization/weak/equations_A01_t01.dart

-23
This file was deleted.

‎TypeSystem/type-normalization/weak/equations_A05_t01.dart

-22
This file was deleted.

‎TypeSystem/type-normalization/weak/equations_A06_t01.dart

-22
This file was deleted.

‎TypeSystem/type-normalization/weak/equations_A07_t01.dart

-22
This file was deleted.

‎TypeSystem/type-normalization/weak/equations_A08_t01.dart

-22
This file was deleted.

0 commit comments

Comments
 (0)