Skip to main content

wrong_kind_references

Function wrong_kind_references 

Source
pub fn wrong_kind_references(
    model: &Model,
    schema: &Schema,
    report: &mut Report,
)
Expand description

Reports references whose target is not of the declared entity type.

Only checked where the schema declares an entity-typed slot: the parser records the declared type token, and if that token names an entity, the target must be that entity or a subtype of it. Slots declared as SELECTs or defined types are left to crate::type_check, which understands them.