Function rustc_typeck::impl_wf_check::min_specialization::check_always_applicable

source · [−]
fn check_always_applicable(
    infcx: &InferCtxt<'_, '_>,
    impl1_def_id: LocalDefId,
    impl2_node: Node
)
Expand description

Check that impl1 is a sound specialization