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

Unified Diff: tests/language/src/TypeVariableBounds2Test.dart

Issue 10248007: test rename overhaul: step 8 - language tests (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 8 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
« no previous file with comments | « tests/language/src/TypeVMTest.dart ('k') | tests/language/src/TypeVariableBoundsTest.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: tests/language/src/TypeVariableBounds2Test.dart
diff --git a/tests/language/src/TypeVariableBounds2Test.dart b/tests/language/src/TypeVariableBounds2Test.dart
deleted file mode 100644
index 0e0bfd97e58557e84701850616a4b9c6993b9365..0000000000000000000000000000000000000000
--- a/tests/language/src/TypeVariableBounds2Test.dart
+++ /dev/null
@@ -1,61 +0,0 @@
-// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
-// for details. All rights reserved. Use of this source code is governed by a
-// BSD-style license that can be found in the LICENSE file.
-
-// Test of parameterized types with invalid bounds.
-
-interface J<T> { }
-
-interface K<T> { }
-
-interface 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
-> { }
-
-class A<T> implements I<T>, J<T> {
-}
-
-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
-
- // 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
-
- // In both production and checked modes, A<String> is a subtype of J.
- 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
- }
-
- a = new A<int>();
-
- {
- I i = a;
- J j = a;
- 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);
-
- // In both production and checked modes, A<int> is a subtype of J.
- Expect.isTrue(a is J);
-
- // In both production and checked modes, A<int> is not a subtype of K.
- Expect.isTrue(a is !K);
- }
-}
« no previous file with comments | « tests/language/src/TypeVMTest.dart ('k') | tests/language/src/TypeVariableBoundsTest.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698