Function normalize 

pub fn normalize<'tcx, T>(
    tcx: TyCtxt<'tcx>,
    typing_env: TypingEnv<'tcx>,
    value: T,
) -> T
where
    T: TypeFoldable<TyCtxt<'tcx>> + Clone,

Normalize a value.