import rejects dollar prefix

✓ Passing This code compiles and runs correctly.

Code

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected compiler error

error[PARSE003]: import paths must start with an alias (e.g., 'std/io', 'src/helper') - define aliases in koru.json
  --> tests/regression/500_INTEGRATION_TESTING/540_VALIDATION/405_import_rejects_dollar_prefix/input.kz:13:1
    |
 13 | ~import $std/io
    | ^