rustc_hir_analysis::impl_wf_check::min_specialization

Function check_constness

Source 
fn check_constness(
    tcx: TyCtxt<'_>,
    impl1_def_id: LocalDefId,
    impl2_node: Node,
    span: Span,
) -> Result<(), ErrorGuaranteed>
Expand description

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