Module rustc_trait_selection::traits::specialize

Logic and data structures related to impl specialization, explained in greater detail below.

At the moment, this implementation support only the simple “chain” rule: If any two impls overlap, one must be a strict subset of the other.

See the rustc dev guide for a bit more detail on how specialization fits together with the rest of the trait machinery.

Modules

specialization_graph

Structs

OverlapError

Information pertinent to an overlapping impl error.

Functions

fulfill_implication 🔒

Attempt to fulfill all obligations of target_impl after unification with source_trait_ref. If successful, returns a substitution for all the generics of target_impl, including both those needed to unify with source_trait_ref and those whose identity is determined via a where clause in the impl.

report_conflicting_impls 🔒

report_negative_positive_conflict 🔒

report_overlap_conflict 🔒

specialization_graph_provider 🔒

specializes 🔒

Is impl1 a specialization of impl2?

to_pretty_impl_header 🔒

Recovers the “impl X for Y” signature from impl_def_id and returns it as a string.

translate_substs

Given a subst for the requested impl, translate it to a subst appropriate for the actual item definition (whether it be in that impl, a parent impl, or the trait).