Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1)

Unified Diff: tests/language_strong/type_variable_bounds2_test.dart

Issue 2765693002: Update all tests (Closed)
Patch Set: Created 3 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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 f3c2de28227436f8df128166c06e9d7836523567..7531f659b3753511d665643465879fd5d21c731e 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);

Powered by Google App Engine
This is Rietveld 408576698