Function rustc::traits::overlapping_impls
[−]
[src]
pub fn overlapping_impls<'cx, 'gcx, 'tcx>(infcx: &InferCtxt<'cx, 'gcx, 'tcx>, impl1_def_id: DefId, impl2_def_id: DefId) -> Option<ImplHeader<'tcx>>
Unstable (
rustc_private
)If there are types that satisfy both impls, returns a suitably-freshened
ImplHeader
with those types substituted