List of all items
Structs
- AdtId
- AliasEq
- AnswerSubst
- AssocTypeId
- Binders
- BindersIntoIterator
- BoundVar
- Canonical
- CanonicalVarKinds
- ClauseId
- ClosureId
- ConcreteConst
- Const
- ConstData
- ConstrainedSubst
- Constraints
- CoroutineId
- DebruijnIndex
- DynTy
- Environment
- EqGoal
- Floundered
- FnDefId
- FnPointer
- FnSig
- FnSubst
- ForeignDefId
- GenericArg
- Goal
- Goals
- ImplId
- InEnvironment
- InferenceVar
- Lifetime
- LifetimeOutlives
- NoSolution
- Normalize
- OpaqueTy
- OpaqueTyId
- PlaceholderIndex
- ProgramClause
- ProgramClauseData
- ProgramClauseImplication
- ProgramClauses
- ProjectionTy
- QuantifiedWhereClauses
- SubstFolder
- Substitution
- SubtypeGoal
- TraitId
- TraitRef
- Ty
- TyData
- TypeFlags
- TypeOutlives
- UCanonical
- UniverseIndex
- UniverseMap
- VariableKinds
- Variances
- WithKind
- cast::Casted
- debug::Angle
- debug::CanonicalDisplay
- debug::Fmt
- debug::GenericArgDataInnerDebug
- debug::GoalsDebug
- debug::OpaqueTyDebug
- debug::ProgramClauseImplicationDebug
- debug::ProjectionTyDebug
- debug::SeparatorTraitRef
- debug::SeparatorTraitRefDebug
- debug::SubstitutionDebug
- debug::TyKindDebug
- debug::VariableKindsDebug
- debug::VariableKindsInnerDebug
- fold::Subst
- fold::in_place::VecMappedInPlace
- fold::shift::DownShifter
- fold::shift::Shifter
- fold::subst::Subst
- visit::visitors::FindFreeVarsVisitor
Enums
- AliasTy
- ClausePriority
- ConstValue
- Constraint
- DomainGoal
- FallibleOrFloundered
- FloatTy
- FromEnv
- GenericArgData
- GoalData
- IntTy
- LifetimeData
- Mutability
- QuantifierKind
- Safety
- Scalar
- TyKind
- TyVariableKind
- UintTy
- VariableKind
- Variance
- Void
- WellFormed
- WhereClause
Traits
- AsParameters
- Substitute
- ToGenericArg
- UnificationDatabase
- cast::Cast
- cast::CastTo
- cast::Caster
- could_match::CouldMatch
- fold::FallibleTypeFolder
- fold::TypeFoldable
- fold::TypeFolder
- fold::TypeSuperFoldable
- fold::shift::Shift
- interner::HasInterner
- interner::Interner
- visit::TypeSuperVisitable
- visit::TypeVisitable
- visit::TypeVisitor
- visit::visitors::VisitExt
- zip::Zip
- zip::Zipper
Macros
- cast::reflexive_impl
- fold::boring_impls::tuple_fold
- impl_debugs
- interned_slice
- interned_slice_common
- try_break
- visit::boring_impls::tuple_visit
- zip::eq_zip
Functions
- fold::in_place::fallible_map_box
- fold::in_place::fallible_map_vec
- fold::in_place::is_layout_identical
- fold::in_place::is_zst
- visit::boring_impls::visit_iter