# Type Alias rustc_infer::traits::query::CanonicalTypeOpProvePredicateGoal

source ·

    pub type CanonicalTypeOpProvePredicateGoal<'tcx> = Canonical<TyCtxt<'tcx>, ParamEnvAnd<'tcx, ProvePredicate<'tcx>>>;

## Aliased Type§

    struct CanonicalTypeOpProvePredicateGoal<'tcx> {
        pub value: ParamEnvAnd<'tcx, ProvePredicate<'tcx>>,
        pub max_universe: UniverseIndex,
        pub variables: &'tcx List<CanonicalVarInfo<TyCtxt<'tcx>>>,
    }

## Fields§

§`value: ParamEnvAnd<'tcx, ProvePredicate<'tcx>>`§`max_universe: UniverseIndex`§`variables: &'tcx List<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: 32 bytes