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.