Implement type inference for try/catch blocks.

pkg/front_end/testcases/accessors.dart.direct.expect

Index: pkg/front_end/testcases/accessors.dart.direct.expect
diff --git a/pkg/front_end/testcases/accessors.dart.direct.expect b/pkg/front_end/testcases/accessors.dart.direct.expect
index 1a4880e3fde15ecceb315c020a6aaba9642c3420..8e0409a839645bc317b91b67fef9a21d4015f371 100644
--- a/pkg/front_end/testcases/accessors.dart.direct.expect
+++ b/pkg/front_end/testcases/accessors.dart.direct.expect
@@ -14,7 +14,7 @@ class C extends core::Object {
       core::print(this.onlySetter);
       throw "No error thrown";
     }
-    on core::NoSuchMethodError catch(final dynamic e) {
+    on core::NoSuchMethodError catch(final core::NoSuchMethodError e) {
       core::print("Expected error: ${e}");
     }
     this.onlySetter = "hest";
@@ -42,7 +42,7 @@ static method main() → dynamic {
     core::print(throw new core::NoSuchMethodError::_withType(null, #onlySetter, 33, <dynamic>[].toList(growable: false), <dynamic, dynamic>{}, null));
     throw "No error thrown";
   }
-  on core::NoSuchMethodError catch(final dynamic e) {
+  on core::NoSuchMethodError catch(final core::NoSuchMethodError e) {
     core::print("Expected error: ${e}");
   }
   self::onlySetter = "fisk";