38_tail_stack_fallback.wasm.skip (656B)
1 This case targets the native ALLOWED-tail fallback (a callee whose stack args 2 exceed the caller's parameter area; the native RL path falls back to an 3 ordinary call). On the W path it is not realizable as a round-trip: wasm has no 4 argument-register limit, so the tail IS realizable on wasm and stage 1 emits a 5 return_call. The `kit run` stage then re-lowers that wasm module to native via 6 lang/wasm, which lowers return_call as a MANDATORY native tail (to preserve 7 wasm's guaranteed-tail semantics) — and the aa64 host cannot realize this 10-arg 8 tail, so it diagnoses. The native ABI limitation is real; the RL path covers the 9 intended fallback behavior.