✓
Passing This code compiles and runs correctly.
Code
// A host concept enters through the airlock: `File` is minted as an
// identity with observable fields, no derivation, no container. It erases
// to a marker; the name is what the type system can now reason about.
import std/io
import std/foreign
std/foreign:struct(File) {
path
handle
}
std/io:print.ln("registered")
Actual
registered
Expected output
registered
Flows
flow ~struct click a branch to expand · @labels scroll to their anchor
struct (expr: File, source: path
handle)
flow ~print.ln click a branch to expand · @labels scroll to their anchor
print.ln (expr: "registered")
Test Configuration
MUST_RUN