Version 0.8.10.6

dart/tests/language/malformed_test.dart

 // 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.
 
 // Tests that malformed types are handled as dynamic, and that types with the
 // wrong number of type arguments are handled as raw types.
 
 import 'package:expect/expect.dart';
 import 'package:expect/expect.dart' as prefix;  // Define 'prefix'.
 
 checkIsUnresolved(var v) {
-  Expect.isTrue(v is Unresolved);
-  Expect.isTrue(v is Unresolved<int>);
-  Expect.isTrue(v is prefix.Unresolved);
-  Expect.isTrue(v is prefix.Unresolved<int>);
+  Expect.throws(() => v is Unresolved, (e) => e is TypeError);
+  Expect.throws(() => v is Unresolved<int>, (e) => e is TypeError);
+  Expect.throws(() => v is prefix.Unresolved, (e) => e is TypeError);
+  Expect.throws(() => v is prefix.Unresolved<int>, (e) => e is TypeError);
 }
 
 checkIsListUnresolved(bool expect, var v) {
   Expect.equals(expect, v is List<Unresolved>);
   Expect.equals(expect, v is List<Unresolved<int>>);
   Expect.equals(expect, v is List<prefix.Unresolved>);
   Expect.equals(expect, v is List<prefix.Unresolved<int>>);
   Expect.equals(expect, v is List<int, String>);
 }
 
 checkIsListDynamic(bool expect, var v) {
   checkIsListUnresolved(true, v);
   Expect.equals(expect, v is List<int> && v is List<String>);
 }
 
 checkAsUnresolved(var v) {
-  Expect.equals(v, v as Unresolved);
-  Expect.equals(v, v as Unresolved<int>);
-  Expect.equals(v, v as prefix.Unresolved);
-  Expect.equals(v, v as prefix.Unresolved<int>);
+  Expect.throws(() => v as Unresolved, (e) => e is TypeError);
+  Expect.throws(() => v as Unresolved<int>, (e) => e is TypeError);
+  Expect.throws(() => v as prefix.Unresolved, (e) => e is TypeError);
+  Expect.throws(() => v as prefix.Unresolved<int>, (e) => e is TypeError);
 }
 
 checkAsListUnresolved(bool expect, var v) {
   if (expect) {
     Expect.equals(v, v as List<Unresolved>);
     Expect.equals(v, v as List<Unresolved<int>>);
     Expect.equals(v, v as List<prefix.Unresolved>);
     Expect.equals(v, v as List<prefix.Unresolved<int>>);
     Expect.equals(v, v as List<int, String>);
   } else {
@@ skipping 72 matching lines @@
   Expect.throws(() => new prefix.Unresolved(), (e) => true);
   Expect.throws(() => new prefix.Unresolved<int>(), (e) => true);
 
   // The expression 'undeclared_prefix.Unresolved()' is parsed as the invocation
   // of the named constructor 'Unresolved' on the type 'undeclared_prefix'.
   Expect.throws(() => new undeclared_prefix.Unresolved(), (e) => true);
   // The expression 'undeclared_prefix.Unresolved<int>' cannot be parsed.
   Expect.throws(() => new undeclared_prefix.Unresolved<int>(), (e) => true);  /// 05: compile-time error
 
   try {
-    throw 'foo';
-  } on Unresolved catch (e) {
-    // Equivalent to 'on dynamic', catches 'foo'.
+    try {
+      throw 'foo';
+    } on Unresolved catch (e) {
+      Expect.fail("This code shouldn't be executed");
+    }
+    Expect.fail("This code shouldn't be executed");
+  } on TypeError catch (e) {
+  }
+  try {
+    try {
+      throw 'foo';
+    } on Unresolved<int> catch (e) {
+      Expect.fail("This code shouldn't be executed");
+    }
+    Expect.fail("This code shouldn't be executed");
+  } on TypeError catch (e) {
+  }
+  try {
+    try {
+      throw 'foo';
+    } on prefix.Unresolved catch (e) {
+      Expect.fail("This code shouldn't be executed");
+    }
+    Expect.fail("This code shouldn't be executed");
+  } on TypeError catch (e) {
+  }
+  try {
+    try {
+      throw 'foo';
+    } on prefix.Unresolved<int> catch (e) {
+      Expect.fail("This code shouldn't be executed");
+    }
+    Expect.fail("This code shouldn't be executed");
+  } on TypeError catch (e) {
   }
   try {
     throw 'foo';
-  } on Unresolved<int> catch (e) {
-    // Equivalent to 'on dynamic', catches 'foo'.
-  }
-  try {
-    throw 'foo';
-  } on prefix.Unresolved catch (e) {
-    // Equivalent to 'on dynamic', catches 'foo'.
-  }
-  try {
-    throw 'foo';
-  } on prefix.Unresolved<int> catch (e) {
-    // Equivalent to 'on dynamic', catches 'foo'.
-  }
-  try {
-    throw 'foo';
   }
     on undeclared_prefix.Unresolved<int>  /// 06: compile-time error
     catch (e) {
   }
 }