Type Alias rustc_middle::traits::solve::CanonicalInput
source · pub type CanonicalInput<'tcx, T = Predicate<'tcx>> = Canonical<'tcx, QueryInput<'tcx, T>>;
Aliased Type§
struct CanonicalInput<'tcx, T = Predicate<'tcx>> {
pub value: QueryInput<'tcx, T>,
pub max_universe: UniverseIndex,
pub variables: &'tcx List<CanonicalVarInfo<'tcx>>,
}
Fields§
§value: QueryInput<'tcx, T>
§max_universe: UniverseIndex
§variables: &'tcx List<CanonicalVarInfo<'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.