hax_frontend_exporter

Module state

Source

Modules§

types 🔒

Macros§

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

Structs§

Base
FullDefMapper
Defines a mapping from types to types, for use with TypeMap.
GlobalCache
Global caches
ItemCache
Per-item cache
LocalContextS
PromotedFullDefsMapper
Defines a mapping from types to types, for use with TypeMap.
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§

MacroCalls
RcMir
RcThir
StateWithBase
StateWithBinder
StateWithMir
StateWithOwner
StateWithThir
UnitBinder

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.