Trait BaseState 

pub trait BaseState<'tcx>: HasBase<'tcx> + Clone {
    // Provided methods
    fn tcx(&self) -> TyCtxt<'tcx> { ... }
    fn with_hax_owner(&self, owner: &DefId) -> StateWithOwner<'tcx> { ... }
    fn with_rustc_owner(&self, owner_id: RDefId) -> StateWithOwner<'tcx> { ... }
    fn base_state(&self) -> StateWithBase<'tcx> { ... }
}

Provided Methods

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

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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'tcx, T: HasBase<'tcx> + Clone> BaseState<'tcx> for T