Module state

Structs

• Base
• LocalContextS
• State

Traits

• HasBase
• HasBaseSetter
• HasBinder
• HasBinderSetter
• HasMir
• HasMirSetter
• HasOwnerId
• HasOwnerIdSetter
• HasThir
• HasThirSetter

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.
• with_owner_id
  Updates the OnwerId in a state, making sure to override opt_def_id in base as well.

Type Aliases

• ExportedDefIds
• ExportedSpans
• MacroCalls
• RcMir
• RcThir
• StateWithBase
• StateWithBinder
• StateWithMir
• StateWithOwner
• StateWithThir

Trait Aliases

• BaseState
• ExprState
  While translating expressions, we expect to always have a THIR body and an owner_id in the state
• IsState
• UnderBinderState
  State of anything below a binder.
• UnderOwnerState
  State of anything below a owner_id.