Update VM to handle malformed types according to revised spec (issues 9055,

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>);
 }
 
 checkIsListUnresolved(bool expect, var v) {
   Expect.equals(expect, v is List<Unresolved>);
@@ skipping 50 matching lines @@
   checkAsUnresolved('');
   checkAsUnresolved(0);
   checkAsListUnresolved(false, '');
   checkAsListUnresolved(true, new List());
   checkAsListUnresolved(true, new List<int>());
   checkAsListUnresolved(true, new List<String>());
   checkAsListUnresolved(true, new List<int, String>());
 
   checkIsListDynamic(true, []);
   checkIsListDynamic(true, <>[]); /// 01: compile-time error
-// TODO(johnniwinther): Create runtime type information on literal lists.
-//  checkIsListDynamic(false, <int>[]);
+  checkIsListDynamic(false, <int>[]);
   checkIsListDynamic(true, <Unresolved>[]);
   checkIsListDynamic(true, <Unresolved<int>>[]);
   checkIsListDynamic(true, <prefix.Unresolved>[]);
   checkIsListDynamic(true, <prefix.Unresolved<int>>[]);
   checkIsListDynamic(true, <int, String>[]);
 
   checkIsListDynamic(true, new List());
   checkIsListDynamic(true, new List<>()); /// 02: compile-time error
   checkIsListDynamic(true, new List<Unresolved>());
   checkIsListDynamic(true, new List<Unresolved<int>>());
   checkIsListDynamic(true, new List<prefix.Unresolved>());
   checkIsListDynamic(true, new List<prefix.Unresolved<int>>());
   checkIsListDynamic(true, new List<int, String>());
 
+  checkIsMapDynamic(true, true, <dynamic, dynamic>{});
   checkIsMapDynamic(true, true, {});
   checkIsMapDynamic(true, true, <>{}); /// 03: compile-time error
   checkIsMapDynamic(true, true, <int>{});
-// TODO(johnniwinther): Create runtime type information on literal maps.
-//  checkIsMapDynamic(false, false, <String, int>{});
+  checkIsMapDynamic(false, false, <String, int>{});
   checkIsMapDynamic(true, true, <String, int, String>{});
-//  checkIsMapDynamic(true, false, <Unresolved, int>{});
-//  checkIsMapDynamic(false, true, <String, Unresolved<int>>{});
-//  checkIsMapDynamic(true, false,  <prefix.Unresolved, int>{});
-//  checkIsMapDynamic(false, true, <String, prefix.Unresolved<int>>{});
+  checkIsMapDynamic(true, false, <Unresolved, int>{});
+  checkIsMapDynamic(false, true, <String, Unresolved<int>>{});
+  checkIsMapDynamic(true, false,  <prefix.Unresolved, int>{});
+  checkIsMapDynamic(false, true, <String, prefix.Unresolved<int>>{});
 
   checkIsMapDynamic(true, true, new Map());
   checkIsMapDynamic(true, true, new Map<>); /// 04: compile-time error
   checkIsMapDynamic(true, true, new Map<int>());
   checkIsMapDynamic(false, false, new Map<String, int>());
   checkIsMapDynamic(true, true, new Map<String, int, String>());
   checkIsMapDynamic(true, false, new Map<Unresolved, int>());
   checkIsMapDynamic(false, true, new Map<String, Unresolved<int>>());
   checkIsMapDynamic(true, false,  new Map<prefix.Unresolved, int>());
   checkIsMapDynamic(false, true, new Map<String, prefix.Unresolved<int>>());
 
   Expect.throws(() => new Unresolved(), (e) => true);
   Expect.throws(() => new Unresolved<int>(), (e) => true);
   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) {
-  } catch (e) {
-    Expect.fail();
+    // Equivalent to 'on dynamic', catches 'foo'.
   }
   try {
     throw 'foo';
   } on Unresolved<int> catch (e) {
-  } catch (e) {
-    Expect.fail();
+    // Equivalent to 'on dynamic', catches 'foo'.
   }
   try {
     throw 'foo';
   } on prefix.Unresolved catch (e) {
-  } catch (e) {
-    Expect.fail();
+    // Equivalent to 'on dynamic', catches 'foo'.
   }
   try {
     throw 'foo';
   } on prefix.Unresolved<int> catch (e) {
-  } catch (e) {
-    Expect.fail();
+    // Equivalent to 'on dynamic', catches 'foo'.
+  }
+  try {
+    throw 'foo';
+  }
+    on undeclared_prefix.Unresolved<int>  /// 06: compile-time error
+    catch (e) {
   }
 }