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

Unified Diff: tests/language/src/FBoundedQuantificationTest.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
Index: tests/language/src/FBoundedQuantificationTest.dart
diff --git a/tests/language/src/FBoundedQuantificationTest.dart b/tests/language/src/FBoundedQuantificationTest.dart
deleted file mode 100644
index f4b98078b401fa0bcf8aa588044b0104ca222e60..0000000000000000000000000000000000000000
--- a/tests/language/src/FBoundedQuantificationTest.dart
+++ /dev/null
@@ -1,51 +0,0 @@
-// Copyright (c) 2011, 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 for F-Bounded Quantification.
-
-class FBound<F extends FBound<F>> {}
-
-class Bar extends FBound<Bar> {}
-
-class SubBar extends Bar {}
-
-class Baz<T> extends FBound<Baz<T>> {}
-
-class SubBaz<T> extends Baz<T> {}
-
-
-isCheckedMode() {
- try {
- var i = 1;
- String s = i;
- return false;
- } catch(var e) {
- return true;
- }
-}
-
-main() {
- FBound<Bar> fb = new FBound<Bar>();
- {
- bool got_type_error = false;
- try {
- FBound<SubBar> fsb = new FBound<SubBar>(); /// 01: static type warning
- } catch (TypeError error) {
- got_type_error = true;
- }
- // Type error in checked mode only.
- Expect.isTrue(got_type_error == isCheckedMode()); /// 01: continued
- }
- FBound<Baz<Bar>> fbb = new FBound<Baz<Bar>>();
- {
- bool got_type_error = false;
- try {
- FBound<SubBaz<Bar>> fsb = new FBound<SubBaz<Bar>>(); /// 02: static type warning
- } catch (TypeError error) {
- got_type_error = true;
- }
- // Type error in checked mode only.
- Expect.isTrue(got_type_error == isCheckedMode()); /// 02: continued
- }
-}
« no previous file with comments | « tests/language/src/ExtendTypeParameterNegativeTest.dart ('k') | tests/language/src/Factory2NegativeTest.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698