003 auto free unused string

// 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 _ |> _