Function needs_normalization

pub(super) fn needs_normalization<'tcx, T: TypeVisitable<TyCtxt<'tcx>>>(
    infcx: &InferCtxt<'tcx>,
    param_env_for_debug_assertion: ParamEnv<'tcx>,
    value: &T,
) -> bool