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 |
- } |
-} |