Trait UnderOwnerState 

pub trait UnderOwnerState<'tcx>: BaseState<'tcx> + HasOwner {
    // Provided methods
    fn owner_id(&self) -> RDefId { ... }
    fn with_base(&self, base: Base<'tcx>) -> StateWithOwner<'tcx> { ... }
    fn with_binder(&self, binder: UnitBinder<'tcx>) -> StateWithBinder<'tcx> { ... }
}

State of anything below an owner.

Provided Methods

fn owner_id(&self) -> RDefId

fn with_base(&self, base: Base<'tcx>) -> StateWithOwner<'tcx>

fn with_binder(&self, binder: UnitBinder<'tcx>) -> StateWithBinder<'tcx>

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: BaseState<'tcx> + HasOwner> UnderOwnerState<'tcx> for T