✓
Passing This code compiles and runs correctly.
Code
// PINS: `[transform]` without `[comptime]` is refused at the declaration.
//
// - [comptime] declares WHERE: the tor emits into the backend.
// - [transform] declares WHAT: a transformation intent.
//
// Both are required. With only [transform], the tor is never registered as a
// pass, so every call site silently does nothing — the shape this wall exists
// to make loud.
~[transform]tor badTransform { count: i32 } -> (result: i32)
~proc badTransform|zig {
return .{ .result = count * 2 };
}
Frontend must reject with:
CONTAINS error[PARSE003]
CONTAINS has [transform] but is missing [comptime]