120 reject square bracket phantom

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

Code

// PIN: phantom state in a type position must use ANGLE brackets `<state>`.
// The square-bracket form `[state!]` must be a hard parse error — NOT silently
// swallowed into the type string with phantom=null (which gives zero obligation
// checking and false safety). See AST: `*Resource[active!]` → type stays
// "*Resource[active!]", phantom=null; `*Resource<active!>` → type "*Resource",
// phantom="active!".
~tor use-sq { r: *Resource[active!] }
~proc use-sq|zig { _ = r; }

input.kz

Actual compiler output

error[KORU033]: invalid phantom-state syntax
  --> tests/regression/200_COMPILER_FEATURES/210_PARSER/210_120_reject_square_bracket_phantom/input.kz:4:51
    |
  4 | // checking and false safety). See AST: `*Resource[active!]` → type stays
    |                                                   ^
  hint: phantom state uses angle brackets — write `*Resource<active!>`

Frontend must reject with:

CONTAINS error[KORU033]
CONTAINS angle brackets

Test Configuration

MUST_ERROR

← 096 reject bare path name mismatch 121 module annotation above import →