Function wrong_kind_references 

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

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

Checked wherever the schema expects an entity: an entity-typed slot, the members of an aggregate of entities (SET OF IfcProduct), and aggregates reached through a type that aliases one. The target must be that entity or a subtype of it. References in SELECT slots are left to crate::type_check, which walks the SELECT’s closure; a value that is not a reference at all is type.entity.expected_reference. A target whose type the tables do not declare is not judged: it is type.entity.unknown’s finding.

One finding per distinct offending target in a slot, in ascending order.