005 bridge session cannot be dropped

✓ Passing This code compiles and runs correctly.

Code

input.k

Must contain:

obligation <session!> was not discharged

Flows

flow ~create click a branch to expand · @labels scroll to their anchor
create (id: "s1", scope: "files")

Test Configuration

Compiler Flags:

--auto-discharge=disable