133 reject bare const decl dot k

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

Code

input.k

Actual compiler output

error[PARSE003]: impl name ' usize' is not one a call site can spell — each '.'-separated piece is an identifier (or '*' for a transform glob)
  --> tests/regression/200_COMPILER_FEATURES/210_PARSER/210_133_reject_bare_const_decl_dot_k/input.k:35:19
    |
 35 | const SIEVE_BITS: usize = 500000;
    |                   ^

Frontend must reject with:

CONTAINS error[PARSE003]
CONTAINS not one a call site can spell

Test Configuration

MUST_ERROR