pub(in solve) fn replace_erased_lifetimes_with_bound_vars<'tcx>(
    tcx: TyCtxt<'tcx>,
    ty: Ty<'tcx>
) -> Binder<'tcx, Ty<'tcx>>