Module traits

Expand description

Trait solving using next trait solver.

Structs§

ParamEnvAndCrate: Type for hir, because commonly we want both param env and a crate in an exported API.

check_orphan_rules: Checks whether the impl satisfies the orphan rules.
implements_trait_unique: This should not be used in hir-ty, only in hir.
implements_trait_unique_with_args: This should not be used in hir-ty, only in hir.
is_inherent_impl_coherent
next_trait_solve_canonical_in_ctxt
next_trait_solve_in_ctxt: Solve a trait goal using next trait solver.
structurally_normalize_ty: This should be used in hir only.