paths flag not supplied

✓ Passing This code compiles and runs correctly.

Code

// Pins that a `{{ flag:name }}` naming a flag nobody supplied is refused at the
// DECLARATION. An unsupplied flag never empties the segment and resolves against
// whatever else happens to sit at that path.

~std/compiler:paths {
    toolkit: {{ flag:target }}/toolkit
}

const std = @import("std");

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected compiler error

error[KORU172]: std/compiler:paths - alias `toolkit` interpolates `{{ flag:target }}` but no `--target=<value>` was supplied
  --> tests/regression/500_INTEGRATION_TESTING/540_VALIDATION/411_paths_flag_not_supplied/input.kz:5:1
    |
  5 | ~std/compiler:paths {
    | ^

← paths alias main reserved 001 string basic →