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

pub(super) fn specializes<'a, 'tcx>(
    tcx: TyCtxt<'a, 'tcx, 'tcx>,
    (impl1_def_id, impl2_def_id): (DefId, DefId)
) -> bool
🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

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.