Type Alias StateWithThirAndTy 

pub type StateWithThirAndTy<'tcx> = State<Base<'tcx>, DefId, RcThir<'tcx>, (), (), Ty<'tcx>>;

Aliased Type

pub struct StateWithThirAndTy<'tcx> {
    pub base: Base<'tcx>,
    pub owner_id: DefId,
    pub thir: Rc<Thir<'tcx>>,
    pub mir: (),
    pub binder: (),
    pub ty: Ty<'tcx>,
}

Fields

base: Base<'tcx>

owner_id: DefId

thir: Rc<Thir<'tcx>>

mir: ()

binder: ()

ty: Ty<'tcx>