Struct hax_frontend_exporter::state::Base

pub struct Base<'tcx> {
    pub options: Rc<Options>,
    pub macro_infos: MacroCalls,
    pub local_ctx: Rc<RefCell<LocalContextS>>,
    pub opt_def_id: Option<DefId>,
    pub cache: Rc<RefCell<GlobalCache<'tcx>>>,
    pub tcx: TyCtxt<'tcx>,
    pub ty_alias_mode: bool,
}

Fields

options: Rc<Options>

macro_infos: MacroCalls

local_ctx: Rc<RefCell<LocalContextS>>

opt_def_id: Option<DefId>

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

tcx: TyCtxt<'tcx>

ty_alias_mode: bool

Rust doesn’t enforce bounds on generic parameters in type aliases. Thus, when translating type aliases, we need to disable the resolution of implementation expressions. For more details, please see https://github.com/hacspec/hax/issues/707.

Implementations

impl<'tcx> Base<'tcx>

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

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.