Fix lookup of checker formal ports from within assertion instances

source/ast/expressions/MiscExpressions.cpp

@@ -1182,10 +1182,24 @@ Expression& AssertionInstanceExpression::bindPort(const Symbol& symbol, SourceRa
         inst = inst->argDetails;
 
     // The only way to reference an assertion port should be from within
-    // an assertion instance, so we should always find it here.
+    // an assertion or checker instance.
     auto it = inst->argumentMap.find(&symbol);
-    if (it == inst->argumentMap.end())
+    if (it == inst->argumentMap.end()) {
+        // Walk through our previous assertion contexts to see if one of
+        // them is a checker instance, in which case this argument might
+        // be a reference to a checker port.
+        auto ctx = inst->prevContext;
+        while (ctx) {
+            inst = ctx->assertionInstance;
+            if (!inst || (inst->symbol && inst->symbol->kind == SymbolKind::Checker))
+                return bindPort(symbol, range, ctx->resetFlags(instanceCtx.flags));
+
+            ctx = inst->prevContext;
+        }
+
+        SLANG_ASSERT(false);
         return badExpr(comp, nullptr);
+    }
 
     auto& formal = symbol.as<AssertionPortSymbol>();
     auto& type = formal.declaredType.getType();

tests/unittests/ast/AssertionTests.cpp

@@ -1974,8 +1974,8 @@ endchecker
 module m;
     logic clk;
     my_check c1(clk, 1);
-    op_test1 t1(clk, 1, 2, 3);
-    op_test2 t2(clk, 1, 2, 3);
+    op_test1 t1(clk, 1, 1, 3);
+    op_test2 t2(clk, 1, 1, 3);
 endmodule
 )");
 

tests/unittests/parsing/VisitorTests.cpp

@@ -748,7 +748,7 @@ TEST_CASE("Visit all file") {
         v.visitDefault(elem);
     }));
 
-    CHECK(count == 1794);
+    CHECK(count == 1812);
 
     compilation.getAllDiagnostics();
     compilation.freeze();