Module rustc_trait_selection::traits::specialize

source ·
Expand description

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.



  • Information pertinent to an overlapping impl error.