Struct TyCtxtEnsureResult 

pub struct TyCtxtEnsureResult<'tcx> {
    pub tcx: TyCtxt<'tcx>,
}

Fields

tcx: TyCtxt<'tcx>

Implementations

impl<'tcx> TyCtxtEnsureResult<'tcx>

pub fn collect_return_position_impl_trait_in_trait_tys( self, key: impl IntoQueryParam<DefId>, ) -> Result<(), ErrorGuaranteed>

[query description - consider adding a doc-comment!] comparing an impl and trait method signature, inferring any hidden impl Trait types in the process

pub fn thir_body( self, key: impl IntoQueryParam<LocalDefId>, ) -> Result<(), ErrorGuaranteed>

Fetch the THIR for a given body. The THIR body gets stolen by unsafety checking unless -Zno-steal-thir is on.

pub fn thir_abstract_const( self, key: impl IntoQueryParam<DefId>, ) -> Result<(), ErrorGuaranteed>

Try to build an abstract representation of the given constant.

pub fn check_coroutine_obligations( self, key: impl IntoQueryParam<LocalDefId>, ) -> Result<(), ErrorGuaranteed>

[query description - consider adding a doc-comment!] verify auto trait bounds for coroutine interior type tcx.def_path_str(key)

pub fn check_potentially_region_dependent_goals( self, key: impl IntoQueryParam<LocalDefId>, ) -> Result<(), ErrorGuaranteed>

Used in case mir_borrowck fails to prove an obligation. We generally assume that all goals we prove in MIR type check hold as we’ve already checked them in HIR typeck.

However, we replace each free region in the MIR body with a unique region inference variable. As we may rely on structural identity when proving goals this may cause a goal to no longer hold. We store obligations for which this may happen during HIR typeck in the TypeckResults. We then uniquify and reprove them in case MIR typeck encounters an unexpected error. We expect this to result in an error when used and delay a bug if it does not.

pub fn check_tail_calls( self, key: impl IntoQueryParam<LocalDefId>, ) -> Result<(), ErrorGuaranteed>

Checks well-formedness of tail calls (become f()).

pub fn check_type_wf(self, key: ()) -> Result<(), ErrorGuaranteed>

[query description - consider adding a doc-comment!] checking that types are well-formed

pub fn coerce_unsized_info( self, key: impl IntoQueryParam<DefId>, ) -> Result<(), ErrorGuaranteed>

Caches CoerceUnsized kinds for impls on custom types.

pub fn coherent_trait( self, key: impl IntoQueryParam<DefId>, ) -> Result<(), ErrorGuaranteed>

[query description - consider adding a doc-comment!] coherence checking all impls of trait tcx.def_path_str(def_id)

pub fn mir_borrowck( self, key: impl IntoQueryParam<LocalDefId>, ) -> Result<(), ErrorGuaranteed>

Borrow-checks the given typeck root, e.g. functions, const/static items, and its children, e.g. closures, inline consts.

pub fn crate_inherent_impls_validity_check( self, key: (), ) -> Result<(), ErrorGuaranteed>

Checks all types in the crate for overlap in their inherent impls. Reports errors.

Not meant to be used directly outside of coherence.

pub fn crate_inherent_impls_overlap_check( self, key: (), ) -> Result<(), ErrorGuaranteed>

Checks all types in the crate for overlap in their inherent impls. Reports errors.

Not meant to be used directly outside of coherence.

pub fn orphan_check_impl( self, key: impl IntoQueryParam<LocalDefId>, ) -> Result<(), ErrorGuaranteed>

Checks whether all impls in the crate pass the overlap check, returning which impls fail it. If all impls are correct, the returned slice is empty.

pub fn check_match( self, key: impl IntoQueryParam<LocalDefId>, ) -> Result<(), ErrorGuaranteed>

[query description - consider adding a doc-comment!] match-checking tcx.def_path_str(key)

pub fn specialization_graph_of( self, key: impl IntoQueryParam<DefId>, ) -> Result<(), ErrorGuaranteed>

[query description - consider adding a doc-comment!] building specialization graph of trait tcx.def_path_str(trait_id)

pub fn check_well_formed( self, key: impl IntoQueryParam<LocalDefId>, ) -> Result<(), ErrorGuaranteed>

[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key) is well-formed

pub fn enforce_impl_non_lifetime_params_are_constrained( self, key: impl IntoQueryParam<LocalDefId>, ) -> Result<(), ErrorGuaranteed>

[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key) ’s generics are constrained by the impl header

pub fn resolve_instance_raw( self, key: PseudoCanonicalInput<'tcx, (DefId, GenericArgsRef<'tcx>)>, ) -> Result<(), ErrorGuaranteed>

Attempt to resolve the given DefId to an Instance, for the given generics args (GenericArgsRef), returning one of:

• Ok(Some(instance)) on success
• Ok(None) when the GenericArgsRef are still too generic, and therefore don’t allow finding the final Instance
• Err(ErrorGuaranteed) when the Instance resolution process couldn’t complete due to errors elsewhere - this is distinct from Ok(None) to avoid misleading diagnostics when an error has already been/will be emitted, for the original cause.

pub fn compare_impl_item( self, key: impl IntoQueryParam<LocalDefId>, ) -> Result<(), ErrorGuaranteed>

This takes the def-id of an associated item from a impl of a trait, and checks its validity against the trait item it corresponds to.

Any other def id will ICE.

Trait Implementations

impl<'tcx> Clone for TyCtxtEnsureResult<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Copy for TyCtxtEnsureResult<'tcx>

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: 8 bytes