Type Alias StateWithBase 

pub type StateWithBase<'tcx> = State<Base<'tcx>, (), (), (), (), ()>;

Aliased Type

pub struct StateWithBase<'tcx> {
    pub base: Base<'tcx>,
    pub owner_id: (),
    pub thir: (),
    pub mir: (),
    pub binder: (),
    pub ty: (),
}

Fields

base: Base<'tcx>

owner_id: ()

thir: ()

mir: ()

binder: ()

ty: ()

Implementations

impl<'tcx> StateWithBase<'tcx>

pub fn new(tcx: TyCtxt<'tcx>, options: Options) -> Self