Module rustc_next_trait_solver::coherence
source · Structs§
Enums§
- Whether we do the orphan check relative to this crate or to some remote crate.
Functions§
- Checks whether a trait-ref is potentially implementable by a crate.
- Returns whether all impls which would apply to the
trait_ref
e.g.Ty: Trait<Arg>
are already known in the local crate.