fn replace_param_and_infer_substs_with_placeholder<'tcx>(
    tcx: TyCtxt<'tcx>,
    substs: SubstsRef<'tcx>
) -> SubstsRef<'tcx>
Expand description

Replaces substs that reference param or infer variables with suitable placeholders. This function is meant to remove these param and infer substs when they’re not actually needed to evaluate a constant.