Modules§
- types 🔒
Macros§
- __
inner_ 🔒helper - __
inner_ 🔒helper - __
inner_ 🔒helper - __
inner_ 🔒helper - __
inner_ 🔒helper - __
inner_ 🔒helper - mk 🔒
- mk_aux 🔒
Structs§
- Base
- Full
DefMapper - Defines a mapping from types to types, for use with
TypeMap. - Global
Cache - Global caches
- Item
Cache - Per-item cache
- Local
ContextS - State
Traits§
- Base
State - Expr
State - While translating expressions, we expect to always have a THIR
body and an
owner_idin the state - HasBase
- HasBinder
- HasMir
- HasOwner
Id - HasThir
- HasTy
- Under
Owner State - State of anything below an
owner. - With
Global Cache Ext - With
Item Cache Ext
Functions§
- impl_
def_ ids_ to_ impled_ types_ and_ bounds - Returns a map from every implementation (
Impl)DefIds to the type they implement, plus the bounds.
Type Aliases§
- Macro
Calls - RcMir
- RcThir
- State
With Base - State
With Binder - State
With Mir - State
With Owner - State
With Thir - State
With Thir AndTy - Unit
Binder
Trait Aliases§
- Under
Binder State - State of anything below a binder.