# Type Alias rustc_middle::traits::query::CanonicalTypeOpNormalizeGoal

source ·

    pub type CanonicalTypeOpNormalizeGoal<'tcx, T> = Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<T>>>;

## Aliased Type§

    struct CanonicalTypeOpNormalizeGoal<'tcx, T> {
        pub value: ParamEnvAnd<'tcx, Normalize<T>>,
        pub max_universe: UniverseIndex,
        pub variables: &'tcx List<CanonicalVarInfo<TyCtxt<'tcx>>>,
    }

## Fields§

§`value: ParamEnvAnd<'tcx, Normalize<T>>`§`max_universe: UniverseIndex`§`variables: &'tcx List<CanonicalVarInfo<TyCtxt<'tcx>>>`

## Layout§

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.