Skip to content

Commit

Permalink
Fix #2490. Update incompatible with await tests according to the chan…
Browse files Browse the repository at this point in the history 
…ged rule (#2516)

Update incompatible with await tests according to the changed rule
  • Loading branch information
@sgrekhov
sgrekhov authored Feb 2, 2024
1 parent f18ecfa commit 5125c01
Show file tree
Hide file tree
Showing 11 changed files with 12 additions and 35 deletions.
4 changes: 1 addition & 3 deletions LanguageFeatures/Extension-types/static_analysis_extension_types_A08_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,7 @@
/// of the following criteria holds:
/// - T is an extension type that does not implement Future.
/// - T is S?, and S is incompatible with await.
/// - T is X & B, and either:
/// - B is incompatible with await, or
/// - B does not derive a future type, and X is incompatible with await.
/// - T is X & B, and B is incompatible with await.
/// - T is a type variable with bound S, and S is incompatible with await.
/// Consider an expression of the form await e. A compile-time error occurs if
/// the static type of e is incompatible with await.
Expand Down
4 changes: 1 addition & 3 deletions LanguageFeatures/Extension-types/static_analysis_extension_types_A08_t02.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,7 @@
/// of the following criteria holds:
/// - T is an extension type that does not implement Future.
/// - T is S?, and S is incompatible with await.
/// - T is X & B, and either:
/// - B is incompatible with await, or
/// - B does not derive a future type, and X is incompatible with await.
/// - T is X & B, and B is incompatible with await.
/// - T is a type variable with bound S, and S is incompatible with await.
/// Consider an expression of the form await e. A compile-time error occurs if
/// the static type of e is incompatible with await.
Expand Down
4 changes: 1 addition & 3 deletions LanguageFeatures/Extension-types/static_analysis_extension_types_A08_t03.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,7 @@
/// of the following criteria holds:
/// - T is an extension type that does not implement Future.
/// - T is S?, and S is incompatible with await.
/// - T is X & B, and either:
/// - B is incompatible with await, or
/// - B does not derive a future type, and X is incompatible with await.
/// - T is X & B, and B is incompatible with await.
/// - T is a type variable with bound S, and S is incompatible with await.
/// Consider an expression of the form await e. A compile-time error occurs if
/// the static type of e is incompatible with await.
Expand Down
4 changes: 1 addition & 3 deletions LanguageFeatures/Extension-types/static_analysis_extension_types_A08_t04.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,7 @@
/// of the following criteria holds:
/// - T is an extension type that does not implement Future.
/// - T is S?, and S is incompatible with await.
/// - T is X & B, and either:
/// - B is incompatible with await, or
/// - B does not derive a future type, and X is incompatible with await.
/// - T is X & B, and B is incompatible with await.
/// - T is a type variable with bound S, and S is incompatible with await.
/// Consider an expression of the form await e. A compile-time error occurs if
/// the static type of e is incompatible with await.
Expand Down
4 changes: 1 addition & 3 deletions LanguageFeatures/Extension-types/static_analysis_extension_types_A08_t05.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,7 @@
/// of the following criteria holds:
/// - T is an extension type that does not implement Future.
/// - T is S?, and S is incompatible with await.
/// - T is X & B, and either:
/// - B is incompatible with await, or
/// - B does not derive a future type, and X is incompatible with await.
/// - T is X & B, and B is incompatible with await.
/// - T is a type variable with bound S, and S is incompatible with await.
/// Consider an expression of the form await e. A compile-time error occurs if
/// the static type of e is incompatible with await.
Expand Down
4 changes: 1 addition & 3 deletions LanguageFeatures/Extension-types/static_analysis_extension_types_A08_t06.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,7 @@
/// of the following criteria holds:
/// - T is an extension type that does not implement Future.
/// - T is S?, and S is incompatible with await.
/// - T is X & B, and either:
/// - B is incompatible with await, or
/// - B does not derive a future type, and X is incompatible with await.
/// - T is X & B, and B is incompatible with await.
/// - T is a type variable with bound S, and S is incompatible with await.
/// Consider an expression of the form await e. A compile-time error occurs if
/// the static type of e is incompatible with await.
Expand Down
7 changes: 2 additions & 5 deletions LanguageFeatures/Extension-types/static_analysis_extension_types_A08_t07.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,16 +6,13 @@
/// of the following criteria holds:
/// - T is an extension type that does not implement Future.
/// - T is S?, and S is incompatible with await.
/// - T is X & B, and either:
/// - B is incompatible with await, or
/// - B does not derive a future type, and X is incompatible with await.
/// - T is X & B, and B is incompatible with await.
/// - T is a type variable with bound S, and S is incompatible with await.
/// Consider an expression of the form await e. A compile-time error occurs if
/// the static type of e is incompatible with await.
///
/// @description Checks that it is a compile-time error if `await e` occurs, and
/// the static type of `e` is `X & B` and `B` does not derive a future type, and
/// `X` is incompatible with await.
/// the static type of `e` is `X & B` and `B` is incompatible with await.
/// @author sgrekhov22@gmail.com
// SharedOptions=--enable-experiment=inline-class
Expand Down
4 changes: 1 addition & 3 deletions LanguageFeatures/Extension-types/static_analysis_extension_types_A08_t08.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,7 @@
/// of the following criteria holds:
/// - T is an extension type that does not implement Future.
/// - T is S?, and S is incompatible with await.
/// - T is X & B, and either:
/// - B is incompatible with await, or
/// - B does not derive a future type, and X is incompatible with await.
/// - T is X & B, and B is incompatible with await.
/// - T is a type variable with bound S, and S is incompatible with await.
/// Consider an expression of the form await e. A compile-time error occurs if
/// the static type of e is incompatible with await.
Expand Down
4 changes: 1 addition & 3 deletions LanguageFeatures/Extension-types/static_analysis_extension_types_A08_t09.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,7 @@
/// of the following criteria holds:
/// - T is an extension type that does not implement Future.
/// - T is S?, and S is incompatible with await.
/// - T is X & B, and either:
/// - B is incompatible with await, or
/// - B does not derive a future type, and X is incompatible with await.
/// - T is X & B, and B is incompatible with await.
/// - T is a type variable with bound S, and S is incompatible with await.
/// Consider an expression of the form await e. A compile-time error occurs if
/// the static type of e is incompatible with await.
Expand Down
4 changes: 1 addition & 3 deletions LanguageFeatures/Extension-types/static_analysis_extension_types_A08_t10.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,7 @@
/// of the following criteria holds:
/// - T is an extension type that does not implement Future.
/// - T is S?, and S is incompatible with await.
/// - T is X & B, and either:
/// - B is incompatible with await, or
/// - B does not derive a future type, and X is incompatible with await.
/// - T is X & B, and B is incompatible with await.
/// - T is a type variable with bound S, and S is incompatible with await.
/// Consider an expression of the form await e. A compile-time error occurs if
/// the static type of e is incompatible with await.
Expand Down
4 changes: 1 addition & 3 deletions LanguageFeatures/Extension-types/static_analysis_extension_types_A08_t11.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,7 @@
/// of the following criteria holds:
/// - T is an extension type that does not implement Future.
/// - T is S?, and S is incompatible with await.
/// - T is X & B, and either:
/// - B is incompatible with await, or
/// - B does not derive a future type, and X is incompatible with await.
/// - T is X & B, and B is incompatible with await.
/// - T is a type variable with bound S, and S is incompatible with await.
/// Consider an expression of the form await e. A compile-time error occurs if
/// the static type of e is incompatible with await.
Expand Down

0 comments on commit 5125c01

Please sign in to comment.