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> { ... }
}

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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

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