013 unknown qualified terminal refused

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

Code

// A qualified reference must resolve to a real declaration. `app/ghost`
// mints nothing, so the field is refused at the declaration like any
// unregistered word — qualification is addressing, not invention.
import std/proto

std/proto(Player) {
    health: app/ghost:Health
}

input.k

Actual compiler output

error[KORU173]: std/proto(Player): field 'health' names unknown terminal 'app/ghost:Health' — a field must use a scalar material, a terminal or compound of its own home, or a qualified name from another home
  --> tests/regression/600_STDLIB/665_PROTO/665_013_unknown_qualified_terminal_refused/input.k:6:0

Compiler must reject:

Compilation must fail with a diagnostic.

Flows

flow ~std/proto click a branch to expand · @labels scroll to their anchor

std/proto (Player, source: health: app/ghost:Health)

Test Configuration

MUST_ERROR

← 012 qualified terminal ref 014 bare ref is home scoped →