# Type Alias rustc_infer::traits::query::CanonicalAliasGoal

source ·

    pub type CanonicalAliasGoal<'tcx> = Canonical<TyCtxt<'tcx>, ParamEnvAnd<'tcx, AliasTy<TyCtxt<'tcx>>>>;

## Aliased Type§

    struct CanonicalAliasGoal<'tcx> {
        pub value: ParamEnvAnd<'tcx, AliasTy<TyCtxt<'tcx>>>,
        pub max_universe: UniverseIndex,
        pub defining_opaque_types: &'tcx RawList<(), LocalDefId>,
        pub variables: &'tcx RawList<(), CanonicalVarInfo<TyCtxt<'tcx>>>,
    }

## Fields§

§`value: ParamEnvAnd<'tcx, AliasTy<TyCtxt<'tcx>>>`§`max_universe: UniverseIndex`§`defining_opaque_types: &'tcx RawList<(), LocalDefId>`§`variables: &'tcx RawList<(), CanonicalVarInfo<TyCtxt<'tcx>>>`

## Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain `repr(...)` attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 48 bytes