[EH][GC] Add missing subtyping constraints from TryTable (#7012)

Similar to Break, BrOn, etc., we must apply subtyping constraints of the
types we send to blocks, so that Unsubtyping will not remove subtypings
that are actually needed.

1 files changed, 7 insertions, 1 deletions

diff --git a/src/ir/subtype-exprs.h b/src/ir/subtype-exprs.h
index 640240df9..1895c856a 100644
--- a/src/ir/subtype-exprs.h
+++ b/src/ir/subtype-exprs.h
@@ -249,7 +249,13 @@ struct SubtypingDiscoverer : public OverriddenVisitor<SubType> {
       self()->noteSubtype(body, curr);
     }
   }
-  void visitTryTable(TryTable* curr) { self()->noteSubtype(curr->body, curr); }
+  void visitTryTable(TryTable* curr) {
+    self()->noteSubtype(curr->body, curr);
+    for (Index i = 0; i < curr->catchTags.size(); i++) {
+      self()->noteSubtype(curr->sentTypes[i],
+                          self()->findBreakTarget(curr->catchDests[i]));
+    }
+  }
   void visitThrow(Throw* curr) {
     Type params = self()->getModule()->getTag(curr->tag)->sig.params;
     assert(params.size() == curr->operands.size());