@@ -57,6 +57,19 @@ class NodeBuilder extends GeneralizingAstVisitor<DecoratedType> {
       : _nonNullableObjectType =
             DecoratedType(_typeProvider.objectType, _graph.never);
 
+  @override
+  DecoratedType visitCatchClause(CatchClause node) {
+    DecoratedType exceptionType = node.exceptionType?.accept(this);
+    if (node.exceptionParameter != null) {
+      exceptionType ??= DecoratedType(_typeProvider.objectType, _graph.never);
+      _variables.recordDecoratedElementType(
+          node.exceptionParameter.staticElement, exceptionType);
+    }
+    node.stackTraceParameter?.accept(this);
+    node.body?.accept(this);
+    return null;
+  }
+
   @override
   DecoratedType visitClassDeclaration(ClassDeclaration node) {
     node.metadata.accept(this);
@@ -263,7 +276,8 @@ $stackTrace''');
         parent is ImplementsClause ||
         parent is WithClause ||
         parent is OnClause ||
-        parent is ClassTypeAlias) {
+        parent is ClassTypeAlias ||
+        parent is CatchClause) {
       nullabilityNode = _graph.never;
     } else {
       nullabilityNode = NullabilityNode.forTypeAnnotation(node.end);
 
@@ -541,6 +541,26 @@ C f(C c, int i) => c..x = i;
         hard: false);
   }
 
+  test_catch_clause() async {
+    await analyze('''
+foo() => 1;
+main() {
+  try { foo(); } on Exception catch (e) { print(e); }
+}
+''');
+    // No assertions; just checking that it doesn't crash.
+  }
+
+  test_catch_clause_no_type() async {
+    await analyze('''
+foo() => 1;
+main() {
+  try { foo(); } catch (e) { print(e); }
+}
+''');
+    // No assertions; just checking that it doesn't crash.
+  }
+
   test_class_alias_synthetic_constructor_with_parameters_complex() async {
     await analyze('''
 class MyList<T> {}