Type Alias StateWithBase 

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

Aliased Type

pub struct StateWithBase<'tcx> {
    pub base: Base<'tcx>,
    pub owner: (),
    pub binder: (),
}

Fields

base: Base<'tcx>

owner: ()

binder: ()

Implementations

impl<'tcx> StateWithBase<'tcx>

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