✓
Passing This code compiles and runs correctly.
Code
// PIN (auto-discharge): a bound-but-unused String<view!> is auto-freed at scope
// exit — no manual discharge needed. `free` is the sole VOID terminal disposer;
// `take` is non-void (it issues `instance!`) so the void-only rule excludes it,
// leaving `free` unambiguous. Mirrors 610_014 (auto-free of a USED String) for
// the dropped-without-use case.
~import std/string
~import std/io
~std/string:from-page(text: "leaked")
| ok s |> std/io:print.ln("dropping it")
| err _ |> _
Actual
dropping it
Expected output
dropping it
Test Configuration
MUST_RUN