Skip to content

Commit a16cf89

Browse files
sgrekhovsgrekhov
authored
#3088. Remove weak mode from TypeSystem/type-normalization (#3089)
1 parent f830bf4 commit a16cf89

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

Lines changed: 0 additions & 2 deletions
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

Lines changed: 0 additions & 2 deletions
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

Lines changed: 0 additions & 2 deletions
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

Lines changed: 0 additions & 2 deletions
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

Lines changed: 0 additions & 2 deletions
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

Lines changed: 0 additions & 2 deletions
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

Lines changed: 0 additions & 2 deletions
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

Lines changed: 0 additions & 2 deletions
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

Lines changed: 0 additions & 2 deletions
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

Lines changed: 0 additions & 2 deletions
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> {}

0 commit comments

Comments
 (0)