Expand description
resolve_slots + pre-flight. Final check before a ModelProto is
emitted: rejects a Module where the same role domain hosts BOTH
a concrete-type provider AND a generic (required_trait, slot_id) provider — that combination is AmbiguousRole.
The runner maps CompileError::AmbiguousRole to
BuildError::AmbiguousRole on the public Module::build()
surface.
Functions§
- resolve_
slots - Resolve slots + run pre-flight. Pure.