007 proto ref unknown refused

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

Code

// 698_007 — a ref must name a declared proto: `ref(Nothing)` has no target
// to point at. Refused at the proto gate like any unknown field type.
import std/proto

std/proto(Owner) {
    dog: ref(Nothing)
}

input.k

Actual compiler output

error[KORU173]: std/proto(Owner): field 'dog' names unknown ref target 'Nothing' — ref() takes a declared compound of its home, or a qualified name from another home
  --> tests/regression/600_STDLIB/698_OOP/698_007_proto_ref_unknown_refused/input.k:5: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 (Owner, source: dog: ref(Nothing))

Test Configuration

MUST_ERROR

← 006 proto ref field 008 proto extends feeds store view →