Type Alias StateWithOwner 

pub type StateWithOwner<'tcx> = State<'tcx, DefId>;

Aliased Type

pub struct StateWithOwner<'tcx> {
    pub base: Base<'tcx>,
    pub owner: DefId,
}

Fields

base: Base<'tcx>

owner: DefId

Trait Implementations

impl<'tcx> UnderOwnerState<'tcx> for StateWithOwner<'tcx>

fn owner(&self) -> DefId

fn param_env(&self) -> ParamEnv<'tcx>

fn typing_env(&self) -> TypingEnv<'tcx>

fn as_state_with_owner(&self) -> StateWithOwner<'tcx>

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

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

fn with_predicate_searcher<T>( &self, f: impl FnOnce(&mut PredicateSearcher<'tcx>, &StateWithBase<'tcx>) -> T, ) -> T