Module hax_frontend_exporter::state

Modules

• types 🔒

Macros

• __inner_helper 🔒
• __inner_helper 🔒
• __inner_helper 🔒
• __inner_helper 🔒
• __inner_helper 🔒
• mk 🔒
• mk_aux 🔒
• mk_is_state_trait 🔒

Structs

• Base
• GlobalCache
  Global caches
• ItemCache
  Per-item cache
• LocalContextS
• State

Traits

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

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

• Binder
• 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.