Struct State 

pub struct State<'tcx, Owner> {
    pub base: Base<'tcx>,
    pub owner: Owner,
}

Fields

base: Base<'tcx>

owner: Owner

Implementations

impl<'tcx> State<'tcx, ()>

pub fn new( tcx: TyCtxt<'tcx>, options: Options, bounds_options: BoundsOptions, ) -> Self

Trait Implementations

impl<'tcx, O> BaseState<'tcx> for State<'tcx, O>

fn base(&self) -> Base<'tcx>

fn tcx(&self) -> TyCtxt<'tcx>

fn raise(&self, level: Level<'_>, span: Span, msg: String)

Raise an error or warning.

fn with_hax_owner(&self, owner: &DefId) -> StateWithOwner<'tcx>

Create a state with the given owner.

fn with_rustc_owner(&self, owner_id: RDefId) -> StateWithOwner<'tcx>

Create a state with the given owner.

fn base_state(&self) -> StateWithBase<'tcx>

State with only access to the global state.

fn with_global_cache<T>(&self, f: impl FnOnce(&mut GlobalCache<'tcx>) -> T) -> T

Access the global cache. You must not call sinto within this function as this will likely result in BorrowMut panics.

fn with_item_cache<T>( &self, def_id: &DefId, f: impl FnOnce(&mut ItemCache<'tcx>) -> T, ) -> T

Access the cache for a given item. You must not call sinto within this function as this will likely result in BorrowMut panics.

impl<'tcx, Owner: Clone> Clone for State<'tcx, Owner>

fn clone(&self) -> State<'tcx, Owner>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.