Function make_normalized_projection_with_regions 

pub fn make_normalized_projection_with_regions<'tcx>(
    tcx: TyCtxt<'tcx>,
    typing_env: TypingEnv<'tcx>,
    container_id: DefId,
    assoc_ty: Symbol,
    args: impl IntoIterator<Item = impl Into<GenericArg<'tcx>>>,
) -> Option<Ty<'tcx>>

Tries to normalize a projection type without erasing regions.

Returns None if the projection can’t be built or normalized. With debug_assertions enabled, this will panic instead of returning None.