List of all items
Structs
- AliasTerm
- AliasTy
- Binder
- BoundVar
- Canonical
- CanonicalVarInfo
- CanonicalVarValues
- ClosureArgs
- ClosureArgsParts
- CoercePredicate
- ConstVid
- CoroutineArgs
- CoroutineArgsParts
- CoroutineClosureArgs
- CoroutineClosureArgsParts
- CoroutineClosureSignature
- DebruijnIndex
- EarlyBinder
- EarlyBinderIter
- EffectVid
- ExistentialProjection
- ExistentialTraitRef
- FloatVid
- FnSig
- GenSig
- IntVid
- IterInstantiated
- IterInstantiatedCopied
- NormalizesTo
- OutlivesPredicate
- ProjectionPredicate
- RegionVid
- SubtypePredicate
- TraitPredicate
- TraitRef
- TyVid
- TypeAndMut
- TypeFlags
- UnevaluatedConst
- UniverseIndex
- ValidateBoundVars
- WithCachedTypeInfo
- WithInfcx
- binder::ArgFolder
- binder::Binder
- binder::EarlyBinder
- binder::EarlyBinderIter
- binder::IterInstantiated
- binder::IterInstantiatedCopied
- binder::ValidateBoundVars
- canonical::Canonical
- canonical::CanonicalVarInfo
- canonical::CanonicalVarValues
- const_kind::ConstVid
- const_kind::EffectVid
- const_kind::UnevaluatedConst
- debug::NoInfcx
- debug::WithInfcx
- error::ExpectedFound
- flags::TypeFlags
- fold::Shifter
- predicate::AliasTerm
- predicate::CoercePredicate
- predicate::ExistentialProjection
- predicate::ExistentialTraitRef
- predicate::NormalizesTo
- predicate::OutlivesPredicate
- predicate::ProjectionPredicate
- predicate::SubtypePredicate
- predicate::TraitPredicate
- predicate::TraitRef
- region_kind::RegionVid
- solve::Goal
- solve::NoSolution
- solve::QueryInput
- solve::Response
- solve::inspect::CanonicalGoalEvaluation
- solve::inspect::CanonicalGoalEvaluationStep
- solve::inspect::GoalEvaluation
- solve::inspect::Probe
- solve::inspect::State
- ty_info::WithCachedTypeInfo
- ty_kind::AliasTy
- ty_kind::FloatVid
- ty_kind::FnSig
- ty_kind::IntVid
- ty_kind::TyVid
- ty_kind::TypeAndMut
- ty_kind::closure::ClosureArgs
- ty_kind::closure::ClosureArgsParts
- ty_kind::closure::CoroutineArgs
- ty_kind::closure::CoroutineArgsParts
- ty_kind::closure::CoroutineClosureArgs
- ty_kind::closure::CoroutineClosureArgsParts
- ty_kind::closure::CoroutineClosureSignature
- ty_kind::closure::FoldEscapingRegions
- ty_kind::closure::GenSig
- ty_kind::closure::HasRegionsBoundAt
- visit::FoundEscapingVars
- visit::FoundFlags
- visit::HasErrorVisitor
- visit::HasEscapingVarsVisitor
- visit::HasTypeFlagsVisitor
Enums
- AliasRelationDirection
- AliasTermKind
- AliasTyKind
- BoundConstness
- CanonicalTyVarKind
- CanonicalVarKind
- ClauseKind
- ClosureKind
- ConstKind
- DynKind
- ExistentialPredicate
- FloatTy
- FloatVarValue
- GenericArgKind
- ImplPolarity
- InferConst
- InferTy
- IntTy
- IntVarValue
- PredicateKind
- PredicatePolarity
- RegionKind
- TermKind
- TyKind
- UintTy
- Variance
- canonical::CanonicalTyVarKind
- canonical::CanonicalVarKind
- const_kind::ConstKind
- const_kind::InferConst
- error::TypeError
- generic_arg::GenericArgKind
- generic_arg::TermKind
- predicate::AliasTermKind
- predicate::BoundConstness
- predicate::ExistentialPredicate
- predicate::ImplPolarity
- predicate::PredicatePolarity
- predicate_kind::AliasRelationDirection
- predicate_kind::ClauseKind
- predicate_kind::PredicateKind
- region_kind::RegionKind
- relate::VarianceDiagInfo
- solve::BuiltinImplSource
- solve::CandidateSource
- solve::Certainty
- solve::GoalSource
- solve::MaybeCause
- solve::inspect::CanonicalGoalEvaluationKind
- solve::inspect::ProbeKind
- solve::inspect::ProbeStep
- ty_kind::AliasTyKind
- ty_kind::DynKind
- ty_kind::FloatTy
- ty_kind::FloatVarValue
- ty_kind::InferTy
- ty_kind::IntTy
- ty_kind::IntVarValue
- ty_kind::TyKind
- ty_kind::UintTy
Traits
- CollectAndApply
- DebugWithInfcx
- InferCtxtLike
- Interner
- Upcast
- UpcastFrom
- codec::RefDecodable
- codec::TyDecoder
- codec::TyEncoder
- debug::DebugWithInfcx
- fold::FallibleTypeFolder
- fold::TypeFoldable
- fold::TypeFolder
- fold::TypeSuperFoldable
- infcx::InferCtxtLike
- inherent::Abi
- inherent::AdtDef
- inherent::BoundVarLike
- inherent::Clause
- inherent::Const
- inherent::Features
- inherent::GenericArgs
- inherent::GenericsOf
- inherent::IntoKind
- inherent::ParamLike
- inherent::PlaceholderLike
- inherent::Predicate
- inherent::Region
- inherent::Safety
- inherent::Ty
- inherent::Tys
- interner::CollectAndApply
- interner::Interner
- ir_print::IrPrint
- lift::Lift
- relate::Relate
- relate::TypeRelation
- upcast::Upcast
- upcast::UpcastFrom
- visit::Flags
- visit::TypeSuperVisitable
- visit::TypeVisitable
- visit::TypeVisitableExt
- visit::TypeVisitor
Macros
- binder::impl_binder_encode_decode
- ir_print::define_debug_via_print
- ir_print::define_display_via_print
- macros::TrivialTypeTraversalImpls
Functions
- debug_bound_var
- fold::shift_region
- fold::shift_vars
- region_kind::regionkind_discriminant
- relate::relate_args_invariantly
- relate::relate_args_with_variances
- relate::structurally_relate_consts
- relate::structurally_relate_tys
- ty_kind::tykind_discriminant
Type Aliases
- fold::Never
- relate::RelateResult
- solve::CanonicalInput
- solve::CanonicalResponse
- solve::QueryResult
- solve::inspect::CanonicalState