Function rustc_hir_analysis::impl_wf_check::min_specialization::check_constness

fn check_constness(
    tcx: TyCtxt<'_>,
    impl1_def_id: LocalDefId,
    impl2_node: Node,
    span: Span
)

Check that the specializing impl impl1 is at least as const as the base impl impl2