Trait BaseState 

pub trait BaseState<'tcx>: HasBase<'tcx> + Clone {
    // Provided method
    fn with_owner_id(&self, owner_id: DefId) -> StateWithOwner<'tcx> { ... }
}

Provided Methods

fn with_owner_id(&self, owner_id: DefId) -> StateWithOwner<'tcx>

Updates the OnwerId in a state, making sure to override opt_def_id in base as well.

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