import unknown alias

✓ 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]: unknown import alias: 'unknown'
  --> tests/regression/500_INTEGRATION_TESTING/540_VALIDATION/403_import_unknown_alias/input.kz:7:1
    |
  7 | ~import unknown/module
    | ^
  hint: define alias in koru.json paths, e.g. "paths": { "unknown": "./path" }