Function rustc_hir_analysis::impl_wf_check::min_specialization::check_always_applicable

source · 
fn check_always_applicable(
    tcx: TyCtxt<'_>,
    impl1_def_id: LocalDefId,
    impl2_node: Node
) -> Result<(), ErrorGuaranteed>
Expand description

Check that impl1 is a sound specialization