Index: tests/language_strong/type_variable_bounds2_test.dart |
diff --git a/tests/language_strong/type_variable_bounds2_test.dart b/tests/language_strong/type_variable_bounds2_test.dart |
index 9fd3894b20f44db59529043b0a890876d91d44cc..5d452fb59f9bcbfa93619935d67b901961f6b00a 100644 |
--- a/tests/language_strong/type_variable_bounds2_test.dart |
+++ b/tests/language_strong/type_variable_bounds2_test.dart |
@@ -11,13 +11,13 @@ abstract class J<T> { } |
abstract class K<T> { } |
abstract class I<T |
- extends num /// 00: continued |
- extends num /// 01: continued |
- extends num /// 02: continued |
- extends num /// 03: continued |
- extends num /// 04: continued |
- extends num /// 05: continued |
- extends num /// 06: continued |
+ extends num //# 00: continued |
+ extends num //# 01: continued |
+ extends num //# 02: continued |
+ extends num //# 03: continued |
+ extends num //# 04: continued |
+ extends num //# 05: continued |
+ extends num //# 06: continued |
> { } |
class A<T> implements I<T>, J<T> { |
@@ -27,21 +27,21 @@ main() { |
var a = new A<String>(); |
{ |
- 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 |
+ 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, error in checked mode. |
- var x = a is I; // /// 03: dynamic type error, static type warning |
+ var x = a is I; // //# 03: dynamic type error, static type warning |
// In both production and checked modes, A<String> is a subtype of J. |
- Expect.isTrue(a is J); // /// 04: static type warning |
+ 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, |
// a malformed type is encountered in checked mode, resulting in a dynamic |
// type error. |
- Expect.isTrue(a is !K); // /// 05: dynamic type error, static type warning |
+ Expect.isTrue(a is !K); // //# 05: dynamic type error, static type warning |
} |
a = new A<int>(); |
@@ -49,7 +49,7 @@ main() { |
{ |
I i = a; |
J j = a; |
- K k = a; // /// 06: dynamic type error, static type warning |
+ 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); |