Function lower_universe 

fn lower_universe<'tcx, T: TypeFoldable<TyCtxt<'tcx>> + Copy>(
    infcx: &InferCtxt<'tcx>,
    for_universe: UniverseIndex,
    value: T,
) -> T