Function rustc::traits::specializes

pub fn specializes<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>, impl1_def_id: DefId, impl2_def_id: DefId) -> bool

Unstable (rustc_private)

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.