Struct Tables

pub struct Tables<'tcx> {
    pub(crate) tcx: TyCtxt<'tcx>,
    pub(crate) def_ids: IndexMap<DefId, DefId>,
    pub(crate) alloc_ids: IndexMap<AllocId, AllocId>,
    pub(crate) spans: IndexMap<Span, Span>,
    pub(crate) types: IndexMap<Ty<'tcx>, Ty>,
    pub(crate) instances: IndexMap<Instance<'tcx>, InstanceDef>,
    pub(crate) ty_consts: IndexMap<Const<'tcx>, TyConstId>,
    pub(crate) mir_consts: IndexMap<Const<'tcx>, MirConstId>,
    pub(crate) layouts: IndexMap<Layout<'tcx>, Layout>,
}

Fields

tcx: TyCtxt<'tcx>

def_ids: IndexMap<DefId, DefId>

alloc_ids: IndexMap<AllocId, AllocId>

spans: IndexMap<Span, Span>

types: IndexMap<Ty<'tcx>, Ty>

instances: IndexMap<Instance<'tcx>, InstanceDef>

ty_consts: IndexMap<Const<'tcx>, TyConstId>

mir_consts: IndexMap<Const<'tcx>, MirConstId>

layouts: IndexMap<Layout<'tcx>, Layout>

Implementations

impl<'tcx> Tables<'tcx>

pub fn crate_item(&mut self, did: DefId) -> CrateItem

pub fn adt_def(&mut self, did: DefId) -> AdtDef

pub fn foreign_module_def(&mut self, did: DefId) -> ForeignModuleDef

pub fn foreign_def(&mut self, did: DefId) -> ForeignDef

pub fn fn_def(&mut self, did: DefId) -> FnDef

pub fn closure_def(&mut self, did: DefId) -> ClosureDef

pub fn coroutine_def(&mut self, did: DefId) -> CoroutineDef

pub fn alias_def(&mut self, did: DefId) -> AliasDef

pub fn param_def(&mut self, did: DefId) -> ParamDef

pub fn br_named_def(&mut self, did: DefId) -> BrNamedDef

pub fn trait_def(&mut self, did: DefId) -> TraitDef

pub fn generic_def(&mut self, did: DefId) -> GenericDef

pub fn const_def(&mut self, did: DefId) -> ConstDef

pub fn impl_def(&mut self, did: DefId) -> ImplDef

pub fn region_def(&mut self, did: DefId) -> RegionDef

pub fn coroutine_witness_def(&mut self, did: DefId) -> CoroutineWitnessDef

pub fn prov(&mut self, aid: AllocId) -> Prov

pub(crate) fn create_def_id(&mut self, did: DefId) -> DefId

pub(crate) fn create_alloc_id(&mut self, aid: AllocId) -> AllocId

pub(crate) fn create_span(&mut self, span: Span) -> Span

pub(crate) fn instance_def(&mut self, instance: Instance<'tcx>) -> InstanceDef

pub(crate) fn static_def(&mut self, did: DefId) -> StaticDef

pub(crate) fn layout_id(&mut self, layout: Layout<'tcx>) -> Layout

impl<'tcx> Tables<'tcx>

pub(crate) fn intern_ty(&mut self, ty: Ty<'tcx>) -> Ty

pub(crate) fn intern_ty_const(&mut self, ct: Const<'tcx>) -> TyConstId

pub(crate) fn intern_mir_const(&mut self, constant: Const<'tcx>) -> MirConstId

pub(crate) fn instance_has_body(&self, instance: Instance<'tcx>) -> bool

Return whether the instance as a body available.

Items and intrinsics may have a body available from its definition. Shims body may be generated depending on their type.

pub(crate) fn item_has_body(&self, def_id: DefId) -> bool

Return whether the item has a body defined by the user.

Note that intrinsics may have a placeholder body that shouldn’t be used in practice. In StableMIR, we handle this case as if the body is not available.

Trait Implementations

impl<'tcx> FnAbiOfHelpers<'tcx> for Tables<'tcx>

Implement error handling for extracting function ABI information.

type FnAbiOfResult = Result<&'tcx FnAbi<'tcx, Ty<'tcx>>, Error>

The &FnAbi-wrapping type (or &FnAbi itself), which will be returned from fn_abi_of_* (see also handle_fn_abi_err).

fn handle_fn_abi_err( &self, err: FnAbiError<'tcx>, _span: Span, fn_abi_request: FnAbiRequest<'tcx>, ) -> Error

Helper used for fn_abi_of_*, to adapt tcx.fn_abi_of_*(...) into a Self::FnAbiOfResult (which does not need to be a Result<...>).

impl<'tcx> HasDataLayout for Tables<'tcx>

fn data_layout(&self) -> &TargetDataLayout

impl<'tcx> HasParamEnv<'tcx> for Tables<'tcx>

fn param_env(&self) -> ParamEnv<'tcx>

impl<'tcx> HasTyCtxt<'tcx> for Tables<'tcx>

fn tcx(&self) -> TyCtxt<'tcx>

impl<'tcx> Index<DefId> for Tables<'tcx>

type Output = DefId

The returned type after indexing.

fn index(&self, index: DefId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<'tcx> Index<Span> for Tables<'tcx>

type Output = Span

The returned type after indexing.

fn index(&self, index: Span) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<'tcx> LayoutOfHelpers<'tcx> for Tables<'tcx>

type LayoutOfResult = Result<TyAndLayout<'tcx, Ty<'tcx>>, Error>

The TyAndLayout-wrapping type (or TyAndLayout itself), which will be returned from layout_of (see also handle_layout_err).

fn handle_layout_err( &self, err: LayoutError<'tcx>, _span: Span, ty: Ty<'tcx>, ) -> Error

Helper used for layout_of, to adapt tcx.layout_of(...) into a Self::LayoutOfResult (which does not need to be a Result<...>).

fn layout_tcx_at_span(&self) -> Span

Span to use for tcx.at(span), from layout_of.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 456 bytes