| Index: tests/language/src/TypeVariableBounds2Test.dart
|
| diff --git a/tests/language/src/TypeVariableBounds2Test.dart b/tests/language/src/TypeVariableBounds2Test.dart
|
| index 663b1cef6c2be6673eee6a133a41805161d33ad7..1d901608cb609581574d23a327bfc91c8c949390 100644
|
| --- a/tests/language/src/TypeVariableBounds2Test.dart
|
| +++ b/tests/language/src/TypeVariableBounds2Test.dart
|
| @@ -17,15 +17,15 @@ main() {
|
| var a = new A<String>();
|
|
|
| {
|
| - I i = a; /// 00: dynamic type error, static type error
|
| - J j = a; /// 01: static type error
|
| - K k = a; /// 02: dynamic type error, static type error
|
| + I i = a; /// 00: dynamic type error, static type warning
|
| + J j = a; /// 01: static type warning
|
| + K k = a; /// 02: dynamic type error, static type warning
|
|
|
| // In production mode, A<String> is subtype of I, but error in checked mode.
|
| - var x = a is I; /// 03: dynamic type error, static type error
|
| + var x = a is I; /// 03: dynamic type error, static type warning
|
|
|
| // In both production and checked modes, A<String> is a subtype of I.
|
| - Expect.isTrue(a is J); /// 04: static type error
|
| + Expect.isTrue(a is J); /// 04: static type warning
|
|
|
| // In both production and checked modes, A<String> is not a subtype of K.
|
| // However, while unsuccessfully trying to prove that A<String> is a K,
|
| @@ -39,7 +39,7 @@ main() {
|
| {
|
| I i = a;
|
| J j = a;
|
| - K k = a; /// 06: dynamic type error, static type error
|
| + K k = a; /// 06: dynamic type error, static type warning
|
|
|
| // In both production and checked modes, A<int> is a subtype of I.
|
| Expect.isTrue(a is I);
|
|
|