Trait Alias ExprState

trait ExprState<'tcx> = UnderOwnerState<'tcx> + HasThir<'tcx>;

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