Function rustc_trait_selection::traits::specialize::specializes
source · Expand description
Is impl1
a specialization of impl2
?
Specialization is determined by the sets of types to which the impls apply;
impl1
specializes impl2
if it applies to a subset of the types impl2
applies
to.