329 typed source block removed

✓ Passing Passing: the compiler rejects this program as expected.

Code

// The typed source-block echo `ev <T>{` was removed 2026-10-24 — declare
// the tag on the parameter (`source: Source[T]`) and invoke with a bare `{ }`.
~import std/io

~tor render { source: Source[HTML] } -> string
~proc render|zig { return ""; }

~render <HTML>{ <p>hi</p> }
| rendered _ |> _

input.kz

Actual compiler output

error[PARSE001]: a typed source block `<HTML>{` was removed — the tag is declared on the parameter (`source: Source[HTML]`); invoke with a bare `{ }`
  --> tests/regression/200_COMPILER_FEATURES/210_PARSER/210_329_typed_source_block_removed/input.kz:8:0
    |
  8 | ~render <HTML>{ <p>hi</p> }
    | ^

Frontend must reject with:

CONTAINS error[PARSE001]
CONTAINS typed source block

Test Configuration

MUST_ERROR

← 328 typed file source removed 330 each produce redundant rename refused →