✓
Passing This code compiles and runs correctly.
Code
// Pins that a deref continuation (`| *<binding>`) is rejected. Twin of the
// deferred branch decl rejection — the deferred/deref mechanism is retired
// (repudiated 2026-07-15). Use a required effect-branch instead.
~tor pick { x: i32 }
| chosen i32
| skipped
~pick(x: 1)
| chosen c
| *c
Must fail at frontend compile:
Parsing or type-checking must reject the program.
Error output must contain
retired