Implement type inference for try/catch blocks.

pkg/front_end/lib/src/fasta/kernel/body_builder.dart

 // Copyright (c) 2016, 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.
 
 library fasta.body_builder;
 
 import '../fasta_codes.dart'
     show
         FastaMessage,
         codeConstFieldWithoutInitializer,
@@ skipping 1922 matching lines @@
     if (catchKeyword != null) {
       exitLocalScope();
     }
     FormalParameters catchParameters = popIfNotNull(catchKeyword);
     DartType type = popIfNotNull(onKeyword) ?? const DynamicType();
     VariableDeclaration exception;
     VariableDeclaration stackTrace;
     if (catchParameters != null) {
       if (catchParameters.required.length > 0) {
         exception = catchParameters.required[0];
+        exception.type = type;
       }
       if (catchParameters.required.length > 1) {
         stackTrace = catchParameters.required[1];
+        stackTrace.type = coreTypes.stackTraceClass.rawType;
       }
       if (catchParameters.required.length > 2 ||
           catchParameters.optional != null) {
         body = new Block(<Statement>[
           compileTimeErrorInTry ??= buildCompileTimeErrorStatement(
               "Invalid catch arguments.", catchKeyword.next.charOffset)
         ]);
       }
     }
     push(new Catch(exception, body, guard: type, stackTrace: stackTrace));
   }
 
   @override
   void endTryStatement(int catchCount, Token tryKeyword, Token finallyKeyword) {
     Statement finallyBlock = popStatementIfNotNull(finallyKeyword);
     List<Catch> catches = popList(catchCount);
     Statement tryBlock = popStatement();
     if (compileTimeErrorInTry == null) {
       if (catches != null) {
-        tryBlock = new TryCatch(tryBlock, catches);
+        tryBlock = new KernelTryCatch(tryBlock, catches);
       }
       if (finallyBlock != null) {
-        tryBlock = new TryFinally(tryBlock, finallyBlock);
+        tryBlock = new KernelTryFinally(tryBlock, finallyBlock);
       }
       push(tryBlock);
     } else {
       push(compileTimeErrorInTry);
       compileTimeErrorInTry = null;
     }
   }
 
   @override
   void handleNoExpression(Token token) {
@@ skipping 1709 matching lines @@
     if (starToken == null) {
       return AsyncMarker.Async;
     } else {
       assert(identical(starToken.stringValue, "*"));
       return AsyncMarker.AsyncStar;
     }
   } else {
     return internalError("Unknown async modifier: $asyncToken");
   }
 }