Index: tests/language/malbounded_type_cast_test.dart |
diff --git a/tests/language/malbounded_type_cast_test.dart b/tests/language/malbounded_type_cast_test.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..0b54850fed840856ff5b6f54dbe38e35af78c29f |
--- /dev/null |
+++ b/tests/language/malbounded_type_cast_test.dart |
@@ -0,0 +1,30 @@ |
+// Copyright (c) 2013, 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. |
+ |
+import 'package:expect/expect.dart'; |
+ |
+class Super<T extends num> {} |
+class Malbounded1 implements Super<String> {} /// static type warning |
+class Malbounded2 extends Super<String> {} /// static type warning |
+ |
+main() { |
+ bool inCheckedMode = false; |
+ try { |
+ String a = 42; |
+ } catch (e) { |
+ inCheckedMode = true; |
+ } |
+ |
+ var expectedError; |
+ if (inCheckedMode) { |
+ expectedError = (e) => e is TypeError; |
+ } else { |
+ expectedError = (e) => e is CastError; |
+ } |
+ |
+ var s = new Super<int>(); |
+ Expect.throws(() => s as Malbounded1, expectedError); /// static type warning |
+ Expect.throws(() => s as Malbounded2, expectedError); /// static type warning |
+ Expect.throws(() => s as Super<String>, expectedError); /// static type warning |
+} |