Struct rustc_smir::rustc_smir::Tables
source · 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) constants: IndexMap<Const<'tcx>, ConstId>,
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>
§constants: IndexMap<Const<'tcx>, ConstId>
§layouts: IndexMap<Layout<'tcx>, Layout>
Implementations§
source§impl<'tcx> Tables<'tcx>
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
Trait Implementations§
source§impl<'tcx> FnAbiOfHelpers<'tcx> for Tables<'tcx>
impl<'tcx> FnAbiOfHelpers<'tcx> for Tables<'tcx>
Implement error handling for extracting function ABI information.
§type FnAbiOfResult = Result<&'tcx FnAbi<'tcx, Ty<'tcx>>, Error>
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
).source§fn handle_fn_abi_err(
&self,
err: FnAbiError<'tcx>,
_span: Span,
fn_abi_request: FnAbiRequest<'tcx>
) -> Error
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<...>
). Read moresource§impl<'tcx> HasDataLayout for Tables<'tcx>
impl<'tcx> HasDataLayout for Tables<'tcx>
fn data_layout(&self) -> &TargetDataLayout
source§impl<'tcx> LayoutOfHelpers<'tcx> for Tables<'tcx>
impl<'tcx> LayoutOfHelpers<'tcx> for Tables<'tcx>
§type LayoutOfResult = Result<TyAndLayout<'tcx, Ty<'tcx>>, Error>
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
).source§fn handle_layout_err(
&self,
err: LayoutError<'tcx>,
_span: Span,
ty: Ty<'tcx>
) -> Error
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<...>
). Read moresource§fn layout_tcx_at_span(&self) -> Span
fn layout_tcx_at_span(&self) -> Span
Span
to use for tcx.at(span)
, from layout_of
.Auto Trait Implementations§
impl<'tcx> DynSend for Tables<'tcx>
impl<'tcx> DynSync for Tables<'tcx>
impl<'tcx> Freeze for Tables<'tcx>
impl<'tcx> !RefUnwindSafe for Tables<'tcx>
impl<'tcx> !Send for Tables<'tcx>
impl<'tcx> !Sync for Tables<'tcx>
impl<'tcx> Unpin for Tables<'tcx>
impl<'tcx> !UnwindSafe for Tables<'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
Creates a filterable data provider with the given name for debugging. Read more
source§impl<'tcx, C> FnAbiOf<'tcx> for Cwhere
C: FnAbiOfHelpers<'tcx>,
impl<'tcx, C> FnAbiOf<'tcx> for Cwhere
C: FnAbiOfHelpers<'tcx>,
source§fn fn_abi_of_fn_ptr(
&self,
sig: Binder<'tcx, FnSig<'tcx>>,
extra_args: &'tcx RawList<(), Ty<'tcx>>
) -> Self::FnAbiOfResult
fn fn_abi_of_fn_ptr( &self, sig: Binder<'tcx, FnSig<'tcx>>, extra_args: &'tcx RawList<(), Ty<'tcx>> ) -> Self::FnAbiOfResult
source§fn fn_abi_of_instance(
&self,
instance: Instance<'tcx>,
extra_args: &'tcx RawList<(), Ty<'tcx>>
) -> Self::FnAbiOfResult
fn fn_abi_of_instance( &self, instance: Instance<'tcx>, extra_args: &'tcx RawList<(), Ty<'tcx>> ) -> Self::FnAbiOfResult
Compute a
FnAbi
suitable for declaring/defining an fn
instance, and for
direct calls to an fn
. Read moresource§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<'tcx, C> LayoutOf<'tcx> for Cwhere
C: LayoutOfHelpers<'tcx>,
impl<'tcx, C> LayoutOf<'tcx> for Cwhere
C: LayoutOfHelpers<'tcx>,
source§fn layout_of(&self, ty: Ty<'tcx>) -> Self::LayoutOfResult
fn layout_of(&self, ty: Ty<'tcx>) -> Self::LayoutOfResult
Computes the layout of a type. Note that this implicitly
executes in “reveal all” mode, and will normalize the input type.
source§fn spanned_layout_of(&self, ty: Ty<'tcx>, span: Span) -> Self::LayoutOfResult
fn spanned_layout_of(&self, ty: Ty<'tcx>, span: Span) -> Self::LayoutOfResult
Computes the layout of a type, at
span
. Note that this implicitly
executes in “reveal all” mode, and will normalize the input type.source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> PointerArithmetic for Twhere
T: HasDataLayout,
impl<T> PointerArithmetic for Twhere
T: HasDataLayout,
fn pointer_size(&self) -> Size
fn max_size_of_val(&self) -> Size
fn target_usize_max(&self) -> u64
fn target_isize_min(&self) -> i64
fn target_isize_max(&self) -> i64
fn target_usize_to_isize(&self, val: u64) -> i64
source§fn truncate_to_ptr(&self, _: (u64, bool)) -> (u64, bool)
fn truncate_to_ptr(&self, _: (u64, bool)) -> (u64, bool)
Helper function: truncate given value-“overflowed flag” pair to pointer size and
update “overflowed flag” if there was an overflow.
This should be called by all the other methods before returning!
fn overflowing_offset(&self, val: u64, i: u64) -> (u64, bool)
fn overflowing_signed_offset(&self, val: u64, i: i64) -> (u64, bool)
fn offset<'tcx>(&self, val: u64, i: u64) -> Result<u64, InterpErrorInfo<'tcx>>
fn signed_offset<'tcx>( &self, val: u64, i: i64 ) -> Result<u64, InterpErrorInfo<'tcx>>
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
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: 400 bytes