017 fmt ln size annotation tightens

✓ Passing This code compiles and runs correctly.

Code

// [size(64)] tightens the scratch: 500 output bytes panic, and the panic
// names the site's configured size — the annotation is live, not advisory.
import std/fmt
import std/io

pub tor big { s: string }
big = std/io:print.ln("warm")
    |> [size(64)]std/fmt:ln("{{ s:s }}"): l
    |> std/io:print.ln(l.text)

big(s: "ssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss")

input.k

Output must match:

EXPECT_TRAP
CONTAINS std/fmt:ln output exceeds the 64-byte scratch buffer

Flows

subflow ~big click a branch to expand · @labels scroll to their anchor

print.ln (expr: "warm")

flow ~big click a branch to expand · @labels scroll to their anchor

big (s: "ssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss")

← 016 fmt ln size annotation grows 018 fmt ln size annotation malformed →