✓
Passing This code compiles and runs correctly.
Code
// PIN (enforcement): reading a String after free is use-after-discharge.
~import std/string
~import std/io
~std/string:from-page(text: "hello")
| ok s |> std/string:free(s) |> std/string:read(s): text |> std/io:print.ln("{{ text:s }}")
| err _ |> _
Must contain:
Use-after-dischargeFlows
flow ~from-page click a branch to expand · @labels scroll to their anchor
from-page (text: "hello")