From cadb40f9a9a5e4c1b6743c99bf7b1ab893f8cfe0 Mon Sep 17 00:00:00 2001 From: Anna Rift Date: Thu, 26 Sep 2024 11:06:53 -0700 Subject: [PATCH] Assert no associated actions for explicitly tagged iters Signed-off-by: Anna Rift --- frontend/test/resolution/testLoopIndexVars.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/frontend/test/resolution/testLoopIndexVars.cpp b/frontend/test/resolution/testLoopIndexVars.cpp index 50a3b60f3ac9..55d7285f8fb6 100644 --- a/frontend/test/resolution/testLoopIndexVars.cpp +++ b/frontend/test/resolution/testLoopIndexVars.cpp @@ -585,18 +585,22 @@ static void testExplicitTaggedIter(Context* context) { assert(!guard.realizeErrors()); auto aLoop = parentAst(context, findVariable(mod, "a"))->toIndexableLoop(); + assert(rr.byAst(aLoop->iterand()).associatedActions().empty()); auto aSig1 = rr.byAst(aLoop->iterand()).mostSpecific().only().fn(); assert(aSig1->isSerialIterator(context)); auto bLoop = parentAst(context, findVariable(mod, "b"))->toIndexableLoop(); + assert(rr.byAst(bLoop->iterand()).associatedActions().empty()); auto bSig1 = rr.byAst(bLoop->iterand()).mostSpecific().only().fn(); assert(bSig1->isParallelStandaloneIterator(context)); auto cLoop = parentAst(context, findVariable(mod, "c"))->toIndexableLoop(); + assert(rr.byAst(cLoop->iterand()).associatedActions().empty()); auto cSig1 = rr.byAst(cLoop->iterand()).mostSpecific().only().fn(); assert(cSig1->isParallelLeaderIterator(context)); auto dLoop = parentAst(context, findVariable(mod, "d"))->toIndexableLoop(); + assert(rr.byAst(dLoop->iterand()).associatedActions().empty()); auto dSig1 = rr.byAst(dLoop->iterand()).mostSpecific().only().fn(); assert(dSig1->isParallelFollowerIterator(context));