Complete latest spec changes regarding malformed types (see issue 14006).

tests/language/is_not_class2_test.dart

 // 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.
 
-// Dart test program for catch that we expect a class after an 'is'. This is
-// not a negative test since 'aa' is a malformed type and therefore should be
-// treated as dynamic.
+import 'package:expect/expect.dart';
 
 class A {
   const A();
 }
 
-class IsNotClass2NegativeTest {
-  static testMain() {
-    var a = new A();
-    var aa = new A();
+main() {
+  var a = new A();
+  var aa = new A();
 
+  try {
     if (a is aa) { // static warning
+      Expect.fail("this code should not execute");
       return 0;
     }
-    return 0;
+    Expect.fail("this code should not execute");
+  } on TypeError catch(e) {
+  } catch (e) {
+    Expect.fail("the TypeError should have been caught above");
   }
+  return 0;
 }
-
-main() {
-  IsNotClass2NegativeTest.testMain();
-}