Function rustc_trait_selection::traits::specialize::specializes
source ยท pub(super) fn specializes(
tcx: TyCtxt<'_>,
(impl1_def_id, impl2_def_id): (DefId, DefId),
) -> bool
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.