Module rustc_trait_selection::traits::coherence

See Rustc Dev Guide chapters on trait-resolution and trait-specialization for more info on how this works.

Structs

OverlapResult

Enums

Conflict

InCrate

Whether we do the orphan check relative to this crate or to some remote crate.

OrphanCheckErr

Functions

add_placeholder_note

contained_non_local_types

Returns a list of relevant non-local types for ty.

def_id_is_local

fundamental_ty_inner_tys

For #[fundamental] ADTs and &T / &mut T, returns Some with the type parameters of the ADT, or T, respectively. For non-fundamental types, returns None.

orphan_check

Checks the coherence orphan rules. impl_def_id should be the DefId of a trait impl. To pass, either the trait must be local, or else two conditions must be satisfied:

orphan_check_trait_ref

Checks whether a trait-ref is potentially implementable by a crate.

overlap

Can both impl a and impl b be satisfied by a common type (including where-clauses)? If so, returns an ImplHeader that unifies the two impls.

overlap_within_probe

overlapping_impls

If there are types that satisfy both impls, invokes on_overlap with a suitably-freshened ImplHeader with those types substituted. Otherwise, invokes no_overlap.

trait_ref_is_knowable

trait_ref_is_local_or_fundamental

ty_is_local_constructor

with_fresh_ty_vars