fn renumber_regions_in_mir_constant<'tcx>(
    infcx: &InferCtxt<'_, 'tcx>,
    value: ConstantKind<'tcx>
) -> ConstantKind<'tcx>