pub trait UnderOwnerState<'tcx>: BaseState<'tcx> + HasOwner {
// Provided methods
fn param_env(&self) -> ParamEnv<'tcx> { ... }
fn typing_env(&self) -> TypingEnv<'tcx> { ... }
fn with_base(&self, base: Base<'tcx>) -> StateWithOwner<'tcx> { ... }
fn with_binder(&self, binder: UnitBinder<'tcx>) -> StateWithBinder<'tcx> { ... }
}Expand description
State of anything below an owner.
Provided Methods§
fn param_env(&self) -> ParamEnv<'tcx>
fn typing_env(&self) -> TypingEnv<'tcx>
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".