Struct Base 

pub struct Base<'tcx> {
    pub ty_interner: &'tcx Interner<'tcx, TyKind<'tcx>>,
    pub trait_proof_interner: &'tcx Interner<'tcx, TraitProofContents<'tcx>>,
    pub item_ref_interner: &'tcx Interner<'tcx, ItemRefContents<'tcx>>,
    pub options: Rc<Options>,
    pub local_ctx: Rc<RefCell<LocalContextS>>,
    pub opt_def_id: Option<DefId>,
    pub cache: Rc<RefCell<GlobalCache<'tcx>>>,
    pub elab_ctx: ElaborationCtx<'tcx, DefId>,
    pub tcx: TyCtxt<'tcx>,
}

Fields

ty_interner: &'tcx Interner<'tcx, TyKind<'tcx>>

trait_proof_interner: &'tcx Interner<'tcx, TraitProofContents<'tcx>>

item_ref_interner: &'tcx Interner<'tcx, ItemRefContents<'tcx>>

options: Rc<Options>

local_ctx: Rc<RefCell<LocalContextS>>

opt_def_id: Option<DefId>

cache: Rc<RefCell<GlobalCache<'tcx>>>

elab_ctx: ElaborationCtx<'tcx, DefId>

tcx: TyCtxt<'tcx>

Implementations

impl<'tcx> Base<'tcx>

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

Trait Implementations

impl<'tcx> Clone for Base<'tcx>

fn clone(&self) -> Base<'tcx>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.