Type Alias StateWithThir 

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

Aliased Type

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

Fields

base: Base<'tcx>

owner_id: DefId

thir: Rc<Thir<'tcx>>

mir: ()

binder: ()

ty: ()