Skip to content

Commit

Permalink
dart-lang#2119. Fix typo in Subtyping tests description
Browse files Browse the repository at this point in the history
  • Loading branch information
sgrekhov committed Jan 29, 2024
1 parent af2ac96 commit b3cc428
Show file tree
Hide file tree
Showing 20 changed files with 20 additions and 20 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then instance
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then instance
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
// SharedOptions=--enable-experiment=inline-class
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
/// V0 is a proper subtype of each of V1 .. Vk
///
/// @description Check that if a type `T1` is an extension type `V0`
/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
/// @author [email protected]
// SharedOptions=--enable-experiment=inline-class
Expand Down

0 comments on commit b3cc428

Please sign in to comment.