Support new malformed types semantics.

tests/language/try_catch_syntax_test.dart

 // Copyright (c) 2012, 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.
 
 main() {
   testMissingCatch();
   testMissingTry();
   testDuplicateCatchVariable();
   testIllegalFinally();
   testIllegalCatch();
@@ skipping 13 matching lines @@
 testDuplicateCatchVariable() {
   try { } on Exception catch (e, e) { } /// 05: compile-time error
 }
 
 testIllegalFinally() {
   try { } finally (e) { } /// 06: compile-time error
 }
 
 testIllegalCatch() {
   try { } catch () { }              /// 07: compile-time error
-  try { } on MammaMia catch (e) { } /// 08: compile-time error
+  try { } on MammaMia catch (e) { } /// 08: static type warning
   try { } catch (var e) { }         /// 09: compile-time error
   try { } catch (final e) { }       /// 10: compile-time error
   try { } catch (int e) { }         /// 11: compile-time error
   try { } catch (final int e) { }   /// 12: compile-time error
   try { } catch ([e, s]) { }        /// 13: compile-time error
   try { } catch (e, [s]) { }        /// 14: compile-time error
   try { } catch (e, [s0, s1]) { }   /// 15: compile-time error
 }
 
 testIllegalRethrow() {
   try { throw; } catch (e) { }             /// 16: compile-time error
   try { } catch (e) { } finally { throw; } /// 17: compile-time error
 }