Function rustc::traits::specializes [] [src]

pub fn specializes<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
                             impl1_def_id: DefId,
                             impl2_def_id: DefId)
                             -> bool
🔬 This is a nightly-only experimental API. (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.