138 effect arm call outside impl rejected

✓ Passing This code compiles and runs correctly.

Code

input.k

Backend must reject with:

CONTAINS error[KORU040]
CONTAINS only that tor's own implementation may fire it

Flows

subflow ~ping click a branch to expand · @labels scroll to their anchor
pong (x)
subflow ~other click a branch to expand · @labels scroll to their anchor
pong (x)
flow ~ping click a branch to expand · @labels scroll to their anchor
ping (x: 41)