Module state

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.