246 explicit label collides with implicit expr

✓ Passing This code compiles and runs correctly.

Code

input.k

Frontend must reject with:

CONTAINS bound twice

Flows

flow ~test click a branch to expand · @labels scroll to their anchor
test (first thing, expr: and a second, source: assert.ok())