pub trait UnderOwnerState<'tcx>: BaseState<'tcx> + HasOwnerId {
// Provided methods
fn with_base(&self, base: Base<'tcx>) -> StateWithOwner<'tcx> { ... }
fn with_binder(&self, binder: UnitBinder<'tcx>) -> StateWithBinder<'tcx> { ... }
fn with_thir(&self, thir: RcThir<'tcx>) -> StateWithThir<'tcx> { ... }
fn with_mir(&self, mir: RcMir<'tcx>) -> StateWithMir<'tcx> { ... }
}Expand description
State of anything below an owner.
Provided Methods§
fn with_base(&self, base: Base<'tcx>) -> StateWithOwner<'tcx>
fn with_binder(&self, binder: UnitBinder<'tcx>) -> StateWithBinder<'tcx>
fn with_thir(&self, thir: RcThir<'tcx>) -> StateWithThir<'tcx>
fn with_mir(&self, mir: RcMir<'tcx>) -> StateWithMir<'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.