Trait ExprState

pub trait ExprState<'tcx>: UnderOwnerState<'tcx> + HasThir<'tcx> {
    // Provided method
    fn with_ty(&self, ty: Ty<'tcx>) -> StateWithThirAndTy<'tcx> { ... }
}

While translating expressions, we expect to always have a THIR body and an owner_id in the state

Provided Methods

fn with_ty(&self, ty: Ty<'tcx>) -> StateWithThirAndTy<'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> ExprState<'tcx> for T

where T: UnderOwnerState<'tcx> + HasThir<'tcx>,