Function rustc_typeck::impl_wf_check::min_specialization::check_always_applicable

fn check_always_applicable(
    infcx: &InferCtxt<'_, '_>, 
    impl1_def_id: DefId, 
    impl2_node: Node, 
    span: Span
)

Check that impl1 is a sound specialization