Type Alias StateWithBase 

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

Aliased Type

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

Fields

base: Base<'tcx>

owner: ()

Implementations

impl<'tcx> StateWithBase<'tcx>

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