Skip to content

Commit d137ea1

Browse files
sgrekhovsgrekhov
committed
dart-lang#1399. [Records] Typos in subtyping tests description fixed (dart-lang#1414)
Authored by @sgrekhov.
1 parent 2495f53 commit d137ea1

File tree

183 files changed

+417
-417
lines changed

Some content is hidden

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

183 files changed

+417
-417
lines changed

‎LanguageFeatures/Subtyping/dynamic/generated/records_arguments_binding_A01_t01.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_arguments_binding_A01_t02.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_arguments_binding_A01_t03.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_arguments_binding_A02_t01.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional and named fields
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional and named fields
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_arguments_binding_A02_t02.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional and named fields
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional and named fields
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_arguments_binding_A02_t03.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional and named fields
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional and named fields
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_arguments_binding_A03_t01.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check named fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check named fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_arguments_binding_A03_t02.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check named fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check named fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_arguments_binding_A03_t03.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check named fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check named fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_class_member_A01_t01.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_class_member_A01_t02.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_class_member_A01_t03.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_class_member_A02_t01.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional and named fields
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional and named fields
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_class_member_A02_t02.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional and named fields
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional and named fields
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_class_member_A02_t03.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check positional and named fields
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check positional and named fields
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_class_member_A03_t01.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check named fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check named fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_class_member_A03_t02.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check named fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check named fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_class_member_A03_t03.dart

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the same shape that T1
12-
/// and the types of all fields of T0 is subtype of of the corresponding field
13-
/// types of T1 then T0 is subtype of T1. Check named fields only
11+
/// @description Check that if type T0 is a record with the same shape as T1
12+
/// and the type of each field of T0 is a subtype of the corresponding field
13+
/// types of T1 then T0 is a subtype of T1. Check named fields only
1414
/// @author [email protected]
1515
///
1616
/// @description Check that if type T0 is a subtype of a type T1, then instance

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A01_t01.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A01_t02.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A01_t03.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A02_t01.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A02_t02.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A02_t03.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A03_t01.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A03_t02.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A03_t03.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A04_t01.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A04_t02.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A04_t03.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A05_t01.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A05_t02.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

‎LanguageFeatures/Subtyping/dynamic/generated/records_fail_arguments_binding_fail_A05_t03.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
/// the types of all fields of A are subtypes of the corresponding field types
99
/// of B
1010
///
11-
/// @description Check that if type T0 is a record with the other shape than T1
12-
/// then T0 is not subtype of T1
11+
/// @description Check that if type T0 is a record with another shape than T1
12+
/// then T0 is not a subtype of T1
1313
/// @author [email protected]
1414
///
1515
/// @description Check that if type T0 not a subtype of a type T1, then it cannot

0 commit comments

Comments
 (0)