[−][src]Module rustc::traits::specialize
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
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 guide for a bit more detail on how specialization fits together with the rest of the trait machinery.
Modules
specialization_graph |
[ Experimental ]
|
Structs
OverlapError |
[ Experimental ] Information pertinent to an overlapping impl error. |
SpecializesCache |
[ Experimental ]
|
Functions
find_associated_item |
[ Experimental ] Given a selected impl described by |
fulfill_implication |
[ Experimental ] Attempt to fulfill all obligations of |
specialization_graph_provider |
[ Experimental ]
|
specializes |
[ Experimental ] Is impl1 a specialization of impl2? |
to_pretty_impl_header |
[ Experimental ] Recovers the "impl X for Y" signature from |
translate_substs |
[ Experimental ] 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). |