Struct rustc_middle::ty::context::TyCtxt [−][src]
The central data structure of the compiler. It stores references to the various arenas and also houses the results of the various compiler queries that have been performed. See the rustc dev guide for more details.
Fields
gcx: &'tcx GlobalCtxt<'tcx>
Implementations
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn hir(self) -> Map<'tcx>
[src]
pub fn parent_module(self, id: HirId) -> LocalDefId
[src]
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn require_lang_item(self, lang_item: LangItem, span: Option<Span>) -> DefId
[src]
Returns the DefId
for a given LangItem
.
If not found, fatally aborts compilation.
pub fn fn_trait_kind_from_lang_item(self, id: DefId) -> Option<ClosureKind>
[src]
pub fn is_weak_lang_item(self, item_def_id: DefId) -> bool
[src]
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn eval_stability(
self,
def_id: DefId,
id: Option<HirId>,
span: Span
) -> EvalResult
[src]
self,
def_id: DefId,
id: Option<HirId>,
span: Span
) -> EvalResult
Evaluates the stability of an item.
Returns EvalResult::Allow
if the item is stable, or unstable but the corresponding
#![feature]
has been provided. Returns EvalResult::Deny
which describes the offending
unstable feature otherwise.
If id
is Some(_)
, this function will also check if the item at def_id
has been
deprecated. If the item is indeed deprecated, we will emit a deprecation lint attached to
id
.
pub fn check_stability(self, def_id: DefId, id: Option<HirId>, span: Span)
[src]
Checks if an item is stable or error out.
If the item defined by def_id
is unstable and the corresponding #![feature]
does not
exist, emits an error.
This function will also check if the item is deprecated.
If so, and id
is not None
, a deprecated lint attached to id
will be emitted.
pub fn check_optional_stability(
self,
def_id: DefId,
id: Option<HirId>,
span: Span,
unmarked: impl FnOnce(Span, DefId)
)
[src]
self,
def_id: DefId,
id: Option<HirId>,
span: Span,
unmarked: impl FnOnce(Span, DefId)
)
Like check_stability
, except that we permit items to have custom behaviour for
missing stability attributes (not necessarily just emit a bug!
). This is necessary
for default generic parameters, which only have stability attributes if they were
added after the type on which they’re defined.
pub fn lookup_deprecation(self, id: DefId) -> Option<Deprecation>
[src]
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn const_eval_poly(self, def_id: DefId) -> EvalToConstValueResult<'tcx>
[src]
Evaluates a constant without providing any substitutions. This is useful to evaluate consts
that can’t take any generic arguments like statics, const items or enum discriminants. If a
generic parameter is used within the constant ErrorHandled::ToGeneric
will be returned.
pub fn const_eval_resolve(
self,
param_env: ParamEnv<'tcx>,
def: WithOptConstParam<DefId>,
substs: SubstsRef<'tcx>,
promoted: Option<Promoted>,
span: Option<Span>
) -> EvalToConstValueResult<'tcx>
[src]
self,
param_env: ParamEnv<'tcx>,
def: WithOptConstParam<DefId>,
substs: SubstsRef<'tcx>,
promoted: Option<Promoted>,
span: Option<Span>
) -> EvalToConstValueResult<'tcx>
Resolves and evaluates a constant.
The constant can be located on a trait like <A as B>::C
, in which case the given
substitutions and environment are used to resolve the constant. Alternatively if the
constant has generic parameters in scope the substitutions are used to evaluate the value of
the constant. For example in fn foo<T>() { let _ = [0; bar::<T>()]; }
the repeat count
constant bar::<T>()
requires a substitution for T
, if the substitution for T
is still
too generic for the constant to be evaluated then Err(ErrorHandled::TooGeneric)
is
returned.
pub fn const_eval_instance(
self,
param_env: ParamEnv<'tcx>,
instance: Instance<'tcx>,
span: Option<Span>
) -> EvalToConstValueResult<'tcx>
[src]
self,
param_env: ParamEnv<'tcx>,
instance: Instance<'tcx>,
span: Option<Span>
) -> EvalToConstValueResult<'tcx>
pub fn const_eval_global_id(
self,
param_env: ParamEnv<'tcx>,
cid: GlobalId<'tcx>,
span: Option<Span>
) -> EvalToConstValueResult<'tcx>
[src]
self,
param_env: ParamEnv<'tcx>,
cid: GlobalId<'tcx>,
span: Option<Span>
) -> EvalToConstValueResult<'tcx>
Evaluate a constant.
pub fn eval_static_initializer(
self,
def_id: DefId
) -> Result<&'tcx Allocation, ErrorHandled>
[src]
self,
def_id: DefId
) -> Result<&'tcx Allocation, ErrorHandled>
Evaluate a static’s initializer, returning the allocation of the initializer’s memory.
fn eval_to_allocation(
self,
gid: GlobalId<'tcx>,
param_env: ParamEnv<'tcx>
) -> Result<&'tcx Allocation, ErrorHandled>
[src]
self,
gid: GlobalId<'tcx>,
param_env: ParamEnv<'tcx>
) -> Result<&'tcx Allocation, ErrorHandled>
Evaluate anything constant-like, returning the allocation of the final memory.
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn reserve_alloc_id(self) -> AllocId
[src]
Obtains a new allocation ID that can be referenced but does not yet have an allocation backing it.
Make sure to call set_alloc_id_memory
or set_alloc_id_same_memory
before returning such
an AllocId
from a query.
fn reserve_and_set_dedup(self, alloc: GlobalAlloc<'tcx>) -> AllocId
[src]
Reserves a new ID if this allocation has not been dedup-reserved before. Should only be used for function pointers and statics, we don’t want to dedup IDs for “real” memory!
pub fn create_static_alloc(self, static_id: DefId) -> AllocId
[src]
Generates an AllocId
for a static or return a cached one in case this function has been
called on the same static before.
pub fn create_fn_alloc(self, instance: Instance<'tcx>) -> AllocId
[src]
Generates an AllocId
for a function. Depending on the function type,
this might get deduplicated or assigned a new ID each time.
pub fn create_memory_alloc(self, mem: &'tcx Allocation) -> AllocId
[src]
Interns the Allocation
and return a new AllocId
, even if there’s already an identical
Allocation
with a different AllocId
.
Statics with identical content will still point to the same Allocation
, i.e.,
their data will be deduplicated through Allocation
interning – but they
are different places in memory and as such need different IDs.
pub fn get_global_alloc(self, id: AllocId) -> Option<GlobalAlloc<'tcx>>
[src]
Returns None
in case the AllocId
is dangling. An InterpretCx
can still have a
local Allocation
for that AllocId
, but having such an AllocId
in a constant is
illegal and will likely ICE.
This function exists to allow const eval to detect the difference between evaluation-
local dangling pointers and allocations in constants/statics.
pub fn global_alloc(self, id: AllocId) -> GlobalAlloc<'tcx>
[src]
Panics in case the AllocId
is dangling. Since that is impossible for AllocId
s in
constants (as all constants must pass interning and validation that check for dangling
ids), this function is frequently used throughout rustc, but should not be used within
the miri engine.
pub fn set_alloc_id_memory(self, id: AllocId, mem: &'tcx Allocation)
[src]
Freezes an AllocId
created with reserve
by pointing it at an Allocation
. Trying to
call this function twice, even with the same Allocation
will ICE the compiler.
fn set_alloc_id_same_memory(self, id: AllocId, mem: &'tcx Allocation)
[src]
Freezes an AllocId
created with reserve
by pointing it at an Allocation
. May be called
twice for the same (AllocId, Allocation)
pair.
impl<'tcx> TyCtxt<'tcx>
[src]
Shims which make dealing with WithOptConstParam
easier.
For more information on why this is needed, consider looking
at the docs for WithOptConstParam
itself.
pub fn mir_const_qualif_opt_const_arg(
self,
def: WithOptConstParam<LocalDefId>
) -> ConstQualifs
[src]
self,
def: WithOptConstParam<LocalDefId>
) -> ConstQualifs
pub fn promoted_mir_opt_const_arg(
self,
def: WithOptConstParam<DefId>
) -> &'tcx IndexVec<Promoted, Body<'tcx>>
[src]
self,
def: WithOptConstParam<DefId>
) -> &'tcx IndexVec<Promoted, Body<'tcx>>
pub fn optimized_mir_or_const_arg_mir(
self,
def: WithOptConstParam<DefId>
) -> &'tcx Body<'tcx>
[src]
self,
def: WithOptConstParam<DefId>
) -> &'tcx Body<'tcx>
pub fn mir_for_ctfe_opt_const_arg(
self,
def: WithOptConstParam<DefId>
) -> &'tcx Body<'tcx>
[src]
self,
def: WithOptConstParam<DefId>
) -> &'tcx Body<'tcx>
pub fn mir_abstract_const_opt_const_arg(
self,
def: WithOptConstParam<DefId>
) -> Result<Option<&'tcx [Node<'tcx>]>, ErrorReported>
[src]
self,
def: WithOptConstParam<DefId>
) -> Result<Option<&'tcx [Node<'tcx>]>, ErrorReported>
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn erase_regions<T>(self, value: T) -> T where
T: TypeFoldable<'tcx>,
[src]
T: TypeFoldable<'tcx>,
Returns an equivalent value with all free regions removed (note that late-bound regions remain, because they are important for subtyping, but they are anonymized and normalized as well)..
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn note_and_explain_type_err(
self,
db: &mut DiagnosticBuilder<'_>,
err: &TypeError<'tcx>,
cause: &ObligationCause<'tcx>,
sp: Span,
body_owner_def_id: DefId
)
[src]
self,
db: &mut DiagnosticBuilder<'_>,
err: &TypeError<'tcx>,
cause: &ObligationCause<'tcx>,
sp: Span,
body_owner_def_id: DefId
)
fn suggest_constraint(
self,
db: &mut DiagnosticBuilder<'_>,
msg: &str,
body_owner_def_id: DefId,
proj_ty: &ProjectionTy<'tcx>,
ty: Ty<'tcx>
) -> bool
[src]
self,
db: &mut DiagnosticBuilder<'_>,
msg: &str,
body_owner_def_id: DefId,
proj_ty: &ProjectionTy<'tcx>,
ty: Ty<'tcx>
) -> bool
fn expected_projection(
self,
db: &mut DiagnosticBuilder<'_>,
proj_ty: &ProjectionTy<'tcx>,
values: &ExpectedFound<Ty<'tcx>>,
body_owner_def_id: DefId,
cause_code: &ObligationCauseCode<'_>
)
[src]
self,
db: &mut DiagnosticBuilder<'_>,
proj_ty: &ProjectionTy<'tcx>,
values: &ExpectedFound<Ty<'tcx>>,
body_owner_def_id: DefId,
cause_code: &ObligationCauseCode<'_>
)
An associated type was expected and a different type was found.
We perform a few different checks to see what we can suggest:
- In the current item, look for associated functions that return the expected type and suggest calling them. (Not a structured suggestion.)
- If any of the item’s generic bounds can be constrained, we suggest constraining the associated type to the found type.
- If the associated type has a default type and was expected inside of a
trait
, we mention that this is disallowed. - If all other things fail, and the error is not because of a mismatch between the
trait
and theimpl
, we provide a generichelp
to constrain the assoc type or call an assoc fn that returns the type.
fn point_at_methods_that_satisfy_associated_type(
self,
db: &mut DiagnosticBuilder<'_>,
assoc_container_id: DefId,
current_method_ident: Option<Symbol>,
proj_ty_item_def_id: DefId,
expected: Ty<'tcx>
) -> bool
[src]
self,
db: &mut DiagnosticBuilder<'_>,
assoc_container_id: DefId,
current_method_ident: Option<Symbol>,
proj_ty_item_def_id: DefId,
expected: Ty<'tcx>
) -> bool
fn point_at_associated_type(
self,
db: &mut DiagnosticBuilder<'_>,
body_owner_def_id: DefId,
found: Ty<'tcx>
) -> bool
[src]
self,
db: &mut DiagnosticBuilder<'_>,
body_owner_def_id: DefId,
found: Ty<'tcx>
) -> bool
fn constrain_generic_bound_associated_type_structured_suggestion(
self,
db: &mut DiagnosticBuilder<'_>,
trait_ref: &TraitRef<'tcx>,
bounds: GenericBounds<'_>,
assoc: &AssocItem,
assoc_substs: &[GenericArg<'tcx>],
ty: Ty<'tcx>,
msg: &str
) -> bool
[src]
self,
db: &mut DiagnosticBuilder<'_>,
trait_ref: &TraitRef<'tcx>,
bounds: GenericBounds<'_>,
assoc: &AssocItem,
assoc_substs: &[GenericArg<'tcx>],
ty: Ty<'tcx>,
msg: &str
) -> bool
Given a slice of hir::GenericBound
s, if any of them corresponds to the trait_ref
requirement, provide a structured suggestion to constrain it to a given type ty
.
fn constrain_associated_type_structured_suggestion(
self,
db: &mut DiagnosticBuilder<'_>,
span: Span,
assoc: &AssocItem,
assoc_substs: &[GenericArg<'tcx>],
ty: Ty<'tcx>,
msg: &str
) -> bool
[src]
self,
db: &mut DiagnosticBuilder<'_>,
span: Span,
assoc: &AssocItem,
assoc_substs: &[GenericArg<'tcx>],
ty: Ty<'tcx>,
msg: &str
) -> bool
Given a span corresponding to a bound, provide a structured suggestion to set an
associated type to a given type ty
.
fn format_generic_args(self, args: &[GenericArg<'tcx>]) -> String
[src]
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn fold_regions<T>(
self,
value: T,
skipped_regions: &mut bool,
f: impl FnMut(Region<'tcx>, DebruijnIndex) -> Region<'tcx>
) -> T where
T: TypeFoldable<'tcx>,
[src]
self,
value: T,
skipped_regions: &mut bool,
f: impl FnMut(Region<'tcx>, DebruijnIndex) -> Region<'tcx>
) -> T where
T: TypeFoldable<'tcx>,
Folds the escaping and free regions in value
using f
, and
sets skipped_regions
to true if any late-bound region was found
and skipped.
pub fn for_each_free_region(
self,
value: &impl TypeFoldable<'tcx>,
callback: impl FnMut(Region<'tcx>)
)
[src]
self,
value: &impl TypeFoldable<'tcx>,
callback: impl FnMut(Region<'tcx>)
)
Invoke callback
on every region appearing free in value
.
pub fn all_free_regions_meet(
self,
value: &impl TypeFoldable<'tcx>,
callback: impl FnMut(Region<'tcx>) -> bool
) -> bool
[src]
self,
value: &impl TypeFoldable<'tcx>,
callback: impl FnMut(Region<'tcx>) -> bool
) -> bool
Returns true
if callback
returns true for every region appearing free in value
.
pub fn any_free_region_meets(
self,
value: &impl TypeFoldable<'tcx>,
callback: impl FnMut(Region<'tcx>) -> bool
) -> bool
[src]
self,
value: &impl TypeFoldable<'tcx>,
callback: impl FnMut(Region<'tcx>) -> bool
) -> bool
Returns true
if callback
returns true for some region appearing free in value
.
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn replace_late_bound_regions<T, F>(
self,
value: Binder<T>,
fld_r: F
) -> (T, BTreeMap<BoundRegion, Region<'tcx>>) where
F: FnMut(BoundRegion) -> Region<'tcx>,
T: TypeFoldable<'tcx>,
[src]
self,
value: Binder<T>,
fld_r: F
) -> (T, BTreeMap<BoundRegion, Region<'tcx>>) where
F: FnMut(BoundRegion) -> Region<'tcx>,
T: TypeFoldable<'tcx>,
Replaces all regions bound by the given Binder
with the
results returned by the closure; the closure is expected to
return a free region (relative to this binder), and hence the
binder is removed in the return type. The closure is invoked
once for each unique BoundRegionKind
; multiple references to the
same BoundRegionKind
will reuse the previous result. A map is
returned at the end with each bound region and the free region
that replaced it.
This method only replaces late bound regions and the result may still contain escaping bound types.
pub fn replace_escaping_bound_vars<T, F, G, H>(
self,
value: T,
fld_r: F,
fld_t: G,
fld_c: H
) -> T where
F: FnMut(BoundRegion) -> Region<'tcx>,
G: FnMut(BoundTy) -> Ty<'tcx>,
H: FnMut(BoundVar, Ty<'tcx>) -> &'tcx Const<'tcx>,
T: TypeFoldable<'tcx>,
[src]
self,
value: T,
fld_r: F,
fld_t: G,
fld_c: H
) -> T where
F: FnMut(BoundRegion) -> Region<'tcx>,
G: FnMut(BoundTy) -> Ty<'tcx>,
H: FnMut(BoundVar, Ty<'tcx>) -> &'tcx Const<'tcx>,
T: TypeFoldable<'tcx>,
Replaces all escaping bound vars. The fld_r
closure replaces escaping
bound regions; the fld_t
closure replaces escaping bound types and the fld_c
closure replaces escaping bound consts.
pub fn replace_bound_vars<T, F, G, H>(
self,
value: Binder<T>,
fld_r: F,
fld_t: G,
fld_c: H
) -> (T, BTreeMap<BoundRegion, Region<'tcx>>) where
F: FnMut(BoundRegion) -> Region<'tcx>,
G: FnMut(BoundTy) -> Ty<'tcx>,
H: FnMut(BoundVar, Ty<'tcx>) -> &'tcx Const<'tcx>,
T: TypeFoldable<'tcx>,
[src]
self,
value: Binder<T>,
fld_r: F,
fld_t: G,
fld_c: H
) -> (T, BTreeMap<BoundRegion, Region<'tcx>>) where
F: FnMut(BoundRegion) -> Region<'tcx>,
G: FnMut(BoundTy) -> Ty<'tcx>,
H: FnMut(BoundVar, Ty<'tcx>) -> &'tcx Const<'tcx>,
T: TypeFoldable<'tcx>,
Replaces all types or regions bound by the given Binder
. The fld_r
closure replaces bound regions while the fld_t
closure replaces bound
types.
pub fn liberate_late_bound_regions<T>(
self,
all_outlive_scope: DefId,
value: Binder<T>
) -> T where
T: TypeFoldable<'tcx>,
[src]
self,
all_outlive_scope: DefId,
value: Binder<T>
) -> T where
T: TypeFoldable<'tcx>,
Replaces any late-bound regions bound in value
with
free variants attached to all_outlive_scope
.
pub fn collect_constrained_late_bound_regions<T>(
self,
value: &Binder<T>
) -> FxHashSet<BoundRegionKind> where
T: TypeFoldable<'tcx>,
[src]
self,
value: &Binder<T>
) -> FxHashSet<BoundRegionKind> where
T: TypeFoldable<'tcx>,
Returns a set of all late-bound regions that are constrained
by value
, meaning that if we instantiate those LBR with
variables and equate value
with something else, those
variables will also be equated.
pub fn collect_referenced_late_bound_regions<T>(
self,
value: &Binder<T>
) -> FxHashSet<BoundRegionKind> where
T: TypeFoldable<'tcx>,
[src]
self,
value: &Binder<T>
) -> FxHashSet<BoundRegionKind> where
T: TypeFoldable<'tcx>,
Returns a set of all late-bound regions that appear in value
anywhere.
fn collect_late_bound_regions<T>(
self,
value: &Binder<T>,
just_constraint: bool
) -> FxHashSet<BoundRegionKind> where
T: TypeFoldable<'tcx>,
[src]
self,
value: &Binder<T>,
just_constraint: bool
) -> FxHashSet<BoundRegionKind> where
T: TypeFoldable<'tcx>,
pub fn erase_late_bound_regions<T>(self, value: Binder<T>) -> T where
T: TypeFoldable<'tcx>,
[src]
T: TypeFoldable<'tcx>,
Replaces any late-bound regions bound in value
with 'erased
. Useful in codegen but also
method lookup and a few other places where precise region relationships are not required.
pub fn anonymize_late_bound_regions<T>(self, sig: Binder<T>) -> Binder<T> where
T: TypeFoldable<'tcx>,
[src]
T: TypeFoldable<'tcx>,
Rewrite any late-bound regions so that they are anonymous. Region numbers are assigned starting at 0 and increasing monotonically in the order traversed by the fold operation.
The chief purpose of this function is to canonicalize regions so that two
FnSig
s or TraitRef
s which are equivalent up to region naming will become
structurally identical. For example, for<'a, 'b> fn(&'a isize, &'b isize)
and
for<'a, 'b> fn(&'b isize, &'a isize)
will become identical after anonymization.
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn is_ty_uninhabited_from(
self,
module: DefId,
ty: Ty<'tcx>,
param_env: ParamEnv<'tcx>
) -> bool
[src]
self,
module: DefId,
ty: Ty<'tcx>,
param_env: ParamEnv<'tcx>
) -> bool
Checks whether a type is visibly uninhabited from a particular module.
Example
enum Void {} mod a { pub mod b { pub struct SecretlyUninhabited { _priv: !, } } } mod c { pub struct AlsoSecretlyUninhabited { _priv: Void, } mod d { } } struct Foo { x: a::b::SecretlyUninhabited, y: c::AlsoSecretlyUninhabited, }
In this code, the type Foo
will only be visibly uninhabited inside the
modules b, c and d. This effects pattern-matching on Foo
or types that
contain Foo
.
Example
let foo_result: Result<T, Foo> = ... ; let Ok(t) = foo_result;
This code should only compile in modules where the uninhabitedness of Foo is visible.
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn layout_of(
self,
param_env_and_ty: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> Result<TyAndLayout<'tcx>, LayoutError<'tcx>>
[src]
self,
param_env_and_ty: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> Result<TyAndLayout<'tcx>, LayoutError<'tcx>>
Computes the layout of a type. Note that this implicitly executes in “reveal all” mode.
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn normalize_erasing_regions<T>(
self,
param_env: ParamEnv<'tcx>,
value: T
) -> T where
T: TypeFoldable<'tcx>,
[src]
self,
param_env: ParamEnv<'tcx>,
value: T
) -> T where
T: TypeFoldable<'tcx>,
Erase the regions in value
and then fully normalize all the
types found within. The result will also have regions erased.
This is appropriate to use only after type-check: it assumes that normalization will succeed, for example.
pub fn normalize_erasing_late_bound_regions<T>(
self,
param_env: ParamEnv<'tcx>,
value: Binder<T>
) -> T where
T: TypeFoldable<'tcx>,
[src]
self,
param_env: ParamEnv<'tcx>,
value: Binder<T>
) -> T where
T: TypeFoldable<'tcx>,
If you have a Binder<T>
, you can do this to strip out the
late-bound regions and then normalize the result, yielding up
a T
(with regions erased). This is appropriate when the
binder is being instantiated at the call site.
N.B., currently, higher-ranked type bounds inhibit normalization. Therefore, each time we erase them in codegen, we need to normalize the contents.
pub fn subst_and_normalize_erasing_regions<T>(
self,
param_substs: SubstsRef<'tcx>,
param_env: ParamEnv<'tcx>,
value: T
) -> T where
T: TypeFoldable<'tcx>,
[src]
self,
param_substs: SubstsRef<'tcx>,
param_env: ParamEnv<'tcx>,
value: T
) -> T where
T: TypeFoldable<'tcx>,
Monomorphizes a type from the AST by first applying the in-scope substitutions and then normalizing any associated types.
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn push_outlives_components(
self,
ty0: Ty<'tcx>,
out: &mut SmallVec<[Component<'tcx>; 4]>
)
[src]
self,
ty0: Ty<'tcx>,
out: &mut SmallVec<[Component<'tcx>; 4]>
)
Push onto out
all the things that must outlive 'a
for the condition
ty0: 'a
to hold. Note that ty0
must be a fully resolved type.
impl<'t> TyCtxt<'t>
[src]
pub fn def_path_str(self, def_id: DefId) -> String
[src]
Returns a string identifying this DefId
. This string is
suitable for user output.
pub fn def_path_str_with_substs(
self,
def_id: DefId,
substs: &'t [GenericArg<'t>]
) -> String
[src]
self,
def_id: DefId,
substs: &'t [GenericArg<'t>]
) -> String
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn ensure(self) -> TyCtxtEnsure<'tcx>
[src]
Returns a transparent wrapper for TyCtxt
, which ensures queries
are executed instead of just returning their results.
pub fn at(self, span: Span) -> TyCtxtAt<'tcx>
[src]
Returns a transparent wrapper for TyCtxt
which uses
span
as the location of queries performed through it.
pub fn try_mark_green(self, dep_node: &DepNode) -> bool
[src]
impl<'tcx> TyCtxt<'tcx>
[src]
#[must_use]pub fn trigger_delay_span_bug(
self,
key: impl IntoQueryParam<DefId>
) -> trigger_delay_span_bug<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> trigger_delay_span_bug<'tcx>
[query description - consider adding a doc-comment!] trigger a delay span bug
#[must_use]pub fn hir_crate(self, key: CrateNum) -> hir_crate<'tcx>
[src]
Represents crate as a whole (as distinct from the top-level crate module).
If you call hir_crate
(e.g., indirectly by calling tcx.hir().krate()
),
we will have to assume that any change means that you need to be recompiled.
This is because the hir_crate
query gives you access to all other items.
To avoid this fate, do not call tcx.hir().krate()
; instead,
prefer wrappers like tcx.visit_all_items_in_krate()
.
#[must_use]pub fn index_hir(self, key: CrateNum) -> index_hir<'tcx>
[src]
The indexed HIR. This can be conveniently accessed by tcx.hir()
.
Avoid calling this query directly.
#[must_use]pub fn hir_module_items(self, key: LocalDefId) -> hir_module_items<'tcx>
[src]
The items in a module.
This can be conveniently accessed by tcx.hir().visit_item_likes_in_module
.
Avoid calling this query directly.
#[must_use]pub fn hir_owner(self, key: LocalDefId) -> hir_owner<'tcx>
[src]
Gives access to the HIR node for the HIR owner key
.
This can be conveniently accessed by methods on tcx.hir()
.
Avoid calling this query directly.
#[must_use]pub fn hir_owner_nodes(self, key: LocalDefId) -> hir_owner_nodes<'tcx>
[src]
Gives access to the HIR nodes and bodies inside the HIR owner key
.
This can be conveniently accessed by methods on tcx.hir()
.
Avoid calling this query directly.
#[must_use]pub fn opt_const_param_of(self, key: LocalDefId) -> opt_const_param_of<'tcx>
[src]
Computes the DefId
of the corresponding const parameter in case the key
is a
const argument and returns None
otherwise.
let a = foo::<7>(); // ^ Calling `opt_const_param_of` for this argument, fn foo<const N: usize>() // ^ returns this `DefId`. fn bar() { // ^ While calling `opt_const_param_of` for other bodies returns `None`. }
#[must_use]pub fn type_of(self, key: impl IntoQueryParam<DefId>) -> type_of<'tcx>
[src]
Records the type of every item.
#[must_use]pub fn analysis(self, key: CrateNum) -> analysis<'tcx>
[src]
[query description - consider adding a doc-comment!] running analysis passes on this crate
#[must_use]pub fn generics_of(self, key: impl IntoQueryParam<DefId>) -> generics_of<'tcx>
[src]
Maps from the DefId
of an item (trait/struct/enum/fn) to its
associated generics.
#[must_use]pub fn predicates_of(
self,
key: impl IntoQueryParam<DefId>
) -> predicates_of<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> predicates_of<'tcx>
Maps from the DefId
of an item (trait/struct/enum/fn) to the
predicates (where-clauses) that must be proven true in order
to reference it. This is almost always the “predicates query”
that you want.
predicates_of
builds on predicates_defined_on
– in fact,
it is almost always the same as that query, except for the
case of traits. For traits, predicates_of
contains
an additional Self: Trait<...>
predicate that users don’t
actually write. This reflects the fact that to invoke the
trait (e.g., via Default::default
) you must supply types
that actually implement the trait. (However, this extra
predicate gets in the way of some checks, which are intended
to operate over only the actual where-clauses written by the
user.)
#[must_use]pub fn explicit_item_bounds(
self,
key: impl IntoQueryParam<DefId>
) -> explicit_item_bounds<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> explicit_item_bounds<'tcx>
Returns the list of bounds that can be used for
SelectionCandidate::ProjectionCandidate(_)
and
ProjectionTyCandidate::TraitDef
.
Specifically this is the bounds written on the trait’s type
definition, or those after the impl
keyword
type X: Bound + 'lt // ^^^^^^^^^^^ impl Debug + Display // ^^^^^^^^^^^^^^^
key
is the DefId
of the associated type or opaque type.
Bounds from the parent (e.g. with nested impl trait) are not included.
#[must_use]pub fn item_bounds(self, key: impl IntoQueryParam<DefId>) -> item_bounds<'tcx>
[src]
Elaborated version of the predicates from explicit_item_bounds
.
For example:
trait MyTrait { type MyAType: Eq + ?Sized; }
explicit_item_bounds
returns [<Self as MyTrait>::MyAType: Eq]
,
and item_bounds
returns
[
<Self as Trait>::MyAType: Eq,
<Self as Trait>::MyAType: PartialEq<<Self as Trait>::MyAType>
]
Bounds from the parent (e.g. with nested impl trait) are not included.
#[must_use]pub fn projection_ty_from_predicates(
self,
key: (DefId, DefId)
) -> projection_ty_from_predicates<'tcx>
[src]
self,
key: (DefId, DefId)
) -> projection_ty_from_predicates<'tcx>
[query description - consider adding a doc-comment!] finding projection type inside predicates of tcx.def_path_str(key.0)
#[must_use]pub fn native_libraries(self, key: CrateNum) -> native_libraries<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up the native libraries of a linked crate
#[must_use]pub fn lint_levels(self, key: CrateNum) -> lint_levels<'tcx>
[src]
[query description - consider adding a doc-comment!] computing the lint levels for items in this crate
#[must_use]pub fn parent_module_from_def_id(
self,
key: LocalDefId
) -> parent_module_from_def_id<'tcx>
[src]
self,
key: LocalDefId
) -> parent_module_from_def_id<'tcx>
[query description - consider adding a doc-comment!] parent module of tcx.def_path_str(key.to_def_id())
#[must_use]pub fn expn_that_defined(
self,
key: impl IntoQueryParam<DefId>
) -> expn_that_defined<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> expn_that_defined<'tcx>
Internal helper query. Use tcx.expansion_that_defined
instead
#[must_use]pub fn is_panic_runtime(self, key: CrateNum) -> is_panic_runtime<'tcx>
[src]
[query description - consider adding a doc-comment!] checking if the crate is_panic_runtime
#[must_use]pub fn mir_keys(self, key: CrateNum) -> mir_keys<'tcx>
[src]
Set of all the DefId
s in this crate that have MIR associated with
them. This includes all the body owners, but also things like struct
constructors.
#[must_use]pub fn mir_const_qualif(
self,
key: impl IntoQueryParam<DefId>
) -> mir_const_qualif<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> mir_const_qualif<'tcx>
Maps DefId’s that have an associated mir::Body
to the result
of the MIR const-checking pass. This is the set of qualifs in
the final value of a const
.
#[must_use]pub fn mir_const_qualif_const_arg(
self,
key: (LocalDefId, DefId)
) -> mir_const_qualif_const_arg<'tcx>
[src]
self,
key: (LocalDefId, DefId)
) -> mir_const_qualif_const_arg<'tcx>
[query description - consider adding a doc-comment!] const checking the const argument tcx.def_path_str(key.0.to_def_id())
#[must_use]pub fn mir_built(self, key: WithOptConstParam<LocalDefId>) -> mir_built<'tcx>
[src]
Fetch the MIR for a given DefId
right after it’s built - this includes
unreachable code.
#[must_use]pub fn mir_const(self, key: WithOptConstParam<LocalDefId>) -> mir_const<'tcx>
[src]
Fetch the MIR for a given DefId
up till the point where it is
ready for const qualification.
See the README for the mir
module for details.
#[must_use]pub fn mir_abstract_const(
self,
key: impl IntoQueryParam<DefId>
) -> mir_abstract_const<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> mir_abstract_const<'tcx>
Try to build an abstract representation of the given constant.
#[must_use]pub fn mir_abstract_const_of_const_arg(
self,
key: (LocalDefId, DefId)
) -> mir_abstract_const_of_const_arg<'tcx>
[src]
self,
key: (LocalDefId, DefId)
) -> mir_abstract_const_of_const_arg<'tcx>
Try to build an abstract representation of the given constant.
#[must_use]pub fn try_unify_abstract_consts(
self,
key: ((WithOptConstParam<DefId>, SubstsRef<'tcx>), (WithOptConstParam<DefId>, SubstsRef<'tcx>))
) -> try_unify_abstract_consts<'tcx>
[src]
self,
key: ((WithOptConstParam<DefId>, SubstsRef<'tcx>), (WithOptConstParam<DefId>, SubstsRef<'tcx>))
) -> try_unify_abstract_consts<'tcx>
[query description - consider adding a doc-comment!] trying to unify the generic constants tcx.def_path_str(key.0.0.did)
and tcx.def_path_str(key.1.0.did)
#[must_use]pub fn mir_drops_elaborated_and_const_checked(
self,
key: WithOptConstParam<LocalDefId>
) -> mir_drops_elaborated_and_const_checked<'tcx>
[src]
self,
key: WithOptConstParam<LocalDefId>
) -> mir_drops_elaborated_and_const_checked<'tcx>
[query description - consider adding a doc-comment!] elaborating drops for tcx.def_path_str(key.did.to_def_id())
#[must_use]pub fn mir_for_ctfe(self, key: impl IntoQueryParam<DefId>) -> mir_for_ctfe<'tcx>
[src]
[query description - consider adding a doc-comment!] caching mir of tcx.def_path_str(key)
for CTFE
#[must_use]pub fn mir_for_ctfe_of_const_arg(
self,
key: (LocalDefId, DefId)
) -> mir_for_ctfe_of_const_arg<'tcx>
[src]
self,
key: (LocalDefId, DefId)
) -> mir_for_ctfe_of_const_arg<'tcx>
[query description - consider adding a doc-comment!] MIR for CTFE of the const argument tcx.def_path_str(key.0.to_def_id())
#[must_use]pub fn mir_promoted(
self,
key: WithOptConstParam<LocalDefId>
) -> mir_promoted<'tcx>
[src]
self,
key: WithOptConstParam<LocalDefId>
) -> mir_promoted<'tcx>
[query description - consider adding a doc-comment!] processing if key.const_param_did.is_some() { "the const argument " } else { "" }
tcx.def_path_str(key.did.to_def_id())
#[must_use]pub fn optimized_mir(
self,
key: impl IntoQueryParam<DefId>
) -> optimized_mir<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> optimized_mir<'tcx>
MIR after our optimization passes have run. This is MIR that is ready for codegen. This is also the only query that can fetch non-local MIR, at present.
#[must_use]pub fn coverageinfo(self, key: impl IntoQueryParam<DefId>) -> coverageinfo<'tcx>
[src]
Returns coverage summary info for a function, after executing the InstrumentCoverage
MIR pass (assuming the -Zinstrument-coverage option is enabled).
#[must_use]pub fn covered_file_name(
self,
key: impl IntoQueryParam<DefId>
) -> covered_file_name<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> covered_file_name<'tcx>
Returns the name of the file that contains the function body, if instrumented for coverage.
#[must_use]pub fn covered_code_regions(
self,
key: impl IntoQueryParam<DefId>
) -> covered_code_regions<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> covered_code_regions<'tcx>
Returns the CodeRegions
for a function that has instrumented coverage, in case the
function was optimized out before codegen, and before being added to the Coverage Map.
#[must_use]pub fn promoted_mir(self, key: impl IntoQueryParam<DefId>) -> promoted_mir<'tcx>
[src]
The DefId
is the DefId
of the containing MIR body. Promoteds do not have their own
DefId
. This function returns all promoteds in the specified body. The body references
promoteds by the DefId
and the mir::Promoted
index. This is necessary, because
after inlining a body may refer to promoteds from other bodies. In that case you still
need to use the DefId
of the original body.
#[must_use]pub fn promoted_mir_of_const_arg(
self,
key: (LocalDefId, DefId)
) -> promoted_mir_of_const_arg<'tcx>
[src]
self,
key: (LocalDefId, DefId)
) -> promoted_mir_of_const_arg<'tcx>
[query description - consider adding a doc-comment!] optimizing promoted MIR for the const argument tcx.def_path_str(key.0.to_def_id())
#[must_use]pub fn erase_regions_ty(self, key: Ty<'tcx>) -> erase_regions_ty<'tcx>
[src]
Erases regions from ty
to yield a new type.
Normally you would just use tcx.erase_regions(value)
,
however, which uses this query as a kind of cache.
#[must_use]pub fn wasm_import_module_map(
self,
key: CrateNum
) -> wasm_import_module_map<'tcx>
[src]
self,
key: CrateNum
) -> wasm_import_module_map<'tcx>
[query description - consider adding a doc-comment!] wasm import module map
#[must_use]pub fn predicates_defined_on(
self,
key: impl IntoQueryParam<DefId>
) -> predicates_defined_on<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> predicates_defined_on<'tcx>
Maps from the DefId
of an item (trait/struct/enum/fn) to the
predicates (where-clauses) directly defined on it. This is
equal to the explicit_predicates_of
predicates plus the
inferred_outlives_of
predicates.
#[must_use]pub fn trait_explicit_predicates_and_bounds(
self,
key: LocalDefId
) -> trait_explicit_predicates_and_bounds<'tcx>
[src]
self,
key: LocalDefId
) -> trait_explicit_predicates_and_bounds<'tcx>
Returns everything that looks like a predicate written explicitly by the user on a trait item.
Traits are unusual, because predicates on associated types are converted into bounds on that type for backwards compatibility:
trait X where Self::U: Copy { type U; }
becomes
trait X { type U: Copy; }
explicit_predicates_of
and explicit_item_bounds
will then take
the appropriate subsets of the predicates here.
#[must_use]pub fn explicit_predicates_of(
self,
key: impl IntoQueryParam<DefId>
) -> explicit_predicates_of<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> explicit_predicates_of<'tcx>
Returns the predicates written explicitly by the user.
#[must_use]pub fn inferred_outlives_of(
self,
key: impl IntoQueryParam<DefId>
) -> inferred_outlives_of<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> inferred_outlives_of<'tcx>
Returns the inferred outlives predicates (e.g., for struct Foo<'a, T> { x: &'a T }
, this would return T: 'a
).
#[must_use]pub fn super_predicates_of(
self,
key: impl IntoQueryParam<DefId>
) -> super_predicates_of<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> super_predicates_of<'tcx>
Maps from the DefId
of a trait to the list of
super-predicates. This is a subset of the full list of
predicates. We store these in a separate map because we must
evaluate them even during type conversion, often before the
full predicates are available (note that supertraits have
additional acyclicity requirements).
#[must_use]pub fn super_predicates_that_define_assoc_type(
self,
key: (DefId, Option<Ident>)
) -> super_predicates_that_define_assoc_type<'tcx>
[src]
self,
key: (DefId, Option<Ident>)
) -> super_predicates_that_define_assoc_type<'tcx>
The Option<Ident>
is the name of an associated type. If it is None
, then this query
returns the full set of predicates. If Some<Ident>
, then the query returns only the
subset of super-predicates that reference traits that define the given associated type.
This is used to avoid cycles in resolving types like T::Item
.
#[must_use]pub fn type_param_predicates(
self,
key: (DefId, LocalDefId, Ident)
) -> type_param_predicates<'tcx>
[src]
self,
key: (DefId, LocalDefId, Ident)
) -> type_param_predicates<'tcx>
To avoid cycles within the predicates of a single item we compute
per-type-parameter predicates for resolving T::AssocTy
.
#[must_use]pub fn trait_def(self, key: impl IntoQueryParam<DefId>) -> trait_def<'tcx>
[src]
[query description - consider adding a doc-comment!] computing trait definition for tcx.def_path_str(key)
#[must_use]pub fn adt_def(self, key: impl IntoQueryParam<DefId>) -> adt_def<'tcx>
[src]
[query description - consider adding a doc-comment!] computing ADT definition for tcx.def_path_str(key)
#[must_use]pub fn adt_destructor(
self,
key: impl IntoQueryParam<DefId>
) -> adt_destructor<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> adt_destructor<'tcx>
[query description - consider adding a doc-comment!] computing Drop
impl for tcx.def_path_str(key)
#[must_use]pub fn adt_sized_constraint(
self,
key: impl IntoQueryParam<DefId>
) -> adt_sized_constraint<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> adt_sized_constraint<'tcx>
[query description - consider adding a doc-comment!] computing Sized
constraints for tcx.def_path_str(key)
#[must_use]pub fn adt_dtorck_constraint(
self,
key: impl IntoQueryParam<DefId>
) -> adt_dtorck_constraint<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> adt_dtorck_constraint<'tcx>
[query description - consider adding a doc-comment!] computing drop-check constraints for tcx.def_path_str(key)
#[must_use]pub fn is_const_fn_raw(
self,
key: impl IntoQueryParam<DefId>
) -> is_const_fn_raw<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> is_const_fn_raw<'tcx>
Returns true
if this is a const fn, use the is_const_fn
to know whether your crate
actually sees it as const fn (e.g., the const-fn-ness might be unstable and you might
not have the feature gate active).
Do not call this function manually. It is only meant to cache the base data for the
is_const_fn
function.
#[must_use]pub fn is_const_impl_raw(
self,
key: impl IntoQueryParam<DefId>
) -> is_const_impl_raw<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> is_const_impl_raw<'tcx>
Returns true
if this is a const impl
. Do not call this function manually.
This query caches the base data for the is_const_impl
helper function, which also
takes into account stability attributes (e.g., #[rustc_const_unstable]
).
#[must_use]pub fn asyncness(self, key: impl IntoQueryParam<DefId>) -> asyncness<'tcx>
[src]
[query description - consider adding a doc-comment!] checking if the function is async: tcx.def_path_str(key)
#[must_use]pub fn is_promotable_const_fn(
self,
key: impl IntoQueryParam<DefId>
) -> is_promotable_const_fn<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> is_promotable_const_fn<'tcx>
Returns true
if calls to the function may be promoted.
This is either because the function is e.g., a tuple-struct or tuple-variant
constructor, or because it has the #[rustc_promotable]
attribute. The attribute should
be removed in the future in favour of some form of check which figures out whether the
function does not inspect the bits of any of its arguments (so is essentially just a
constructor function).
#[must_use]pub fn is_foreign_item(
self,
key: impl IntoQueryParam<DefId>
) -> is_foreign_item<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> is_foreign_item<'tcx>
Returns true
if this is a foreign item (i.e., linked via extern { ... }
).
#[must_use]pub fn static_mutability(
self,
key: impl IntoQueryParam<DefId>
) -> static_mutability<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> static_mutability<'tcx>
Returns Some(mutability)
if the node pointed to by def_id
is a static item.
#[must_use]pub fn generator_kind(
self,
key: impl IntoQueryParam<DefId>
) -> generator_kind<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> generator_kind<'tcx>
Returns Some(generator_kind)
if the node pointed to by def_id
is a generator.
#[must_use]pub fn crate_variances(self, key: CrateNum) -> crate_variances<'tcx>
[src]
Gets a map with the variance of every item; use item_variance
instead.
#[must_use]pub fn variances_of(self, key: impl IntoQueryParam<DefId>) -> variances_of<'tcx>
[src]
Maps from the DefId
of a type or region parameter to its (inferred) variance.
#[must_use]pub fn inferred_outlives_crate(
self,
key: CrateNum
) -> inferred_outlives_crate<'tcx>
[src]
self,
key: CrateNum
) -> inferred_outlives_crate<'tcx>
Maps from thee DefId
of a type to its (inferred) outlives.
#[must_use]pub fn associated_item_def_ids(
self,
key: impl IntoQueryParam<DefId>
) -> associated_item_def_ids<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> associated_item_def_ids<'tcx>
Maps from an impl/trait DefId to a list of the
DefId`s of its items.
#[must_use]pub fn associated_item(
self,
key: impl IntoQueryParam<DefId>
) -> associated_item<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> associated_item<'tcx>
Maps from a trait item to the trait item “descriptor”.
#[must_use]pub fn associated_items(
self,
key: impl IntoQueryParam<DefId>
) -> associated_items<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> associated_items<'tcx>
Collects the associated items defined on a trait or impl.
#[must_use]pub fn impl_trait_ref(
self,
key: impl IntoQueryParam<DefId>
) -> impl_trait_ref<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> impl_trait_ref<'tcx>
Given an impl_id
, return the trait it implements.
Return None
if this is an inherent impl.
#[must_use]pub fn impl_polarity(
self,
key: impl IntoQueryParam<DefId>
) -> impl_polarity<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> impl_polarity<'tcx>
[query description - consider adding a doc-comment!] computing implementation polarity of tcx.def_path_str(impl_id)
#[must_use]pub fn issue33140_self_ty(
self,
key: impl IntoQueryParam<DefId>
) -> issue33140_self_ty<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> issue33140_self_ty<'tcx>
[query description - consider adding a doc-comment!] computing Self type wrt issue #33140 tcx.def_path_str(key)
#[must_use]pub fn inherent_impls(
self,
key: impl IntoQueryParam<DefId>
) -> inherent_impls<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> inherent_impls<'tcx>
Maps a DefId
of a type to a list of its inherent impls.
Contains implementations of methods that are inherent to a type.
Methods in these implementations don’t need to be exported.
#[must_use]pub fn unsafety_check_result(
self,
key: LocalDefId
) -> unsafety_check_result<'tcx>
[src]
self,
key: LocalDefId
) -> unsafety_check_result<'tcx>
The result of unsafety-checking this LocalDefId
.
#[must_use]pub fn unsafety_check_result_for_const_arg(
self,
key: (LocalDefId, DefId)
) -> unsafety_check_result_for_const_arg<'tcx>
[src]
self,
key: (LocalDefId, DefId)
) -> unsafety_check_result_for_const_arg<'tcx>
[query description - consider adding a doc-comment!] unsafety-checking the const argument tcx.def_path_str(key.0.to_def_id())
#[must_use]pub fn unsafe_derive_on_repr_packed(
self,
key: LocalDefId
) -> unsafe_derive_on_repr_packed<'tcx>
[src]
self,
key: LocalDefId
) -> unsafe_derive_on_repr_packed<'tcx>
HACK: when evaluated, this reports a “unsafe derive on repr(packed)” error.
Unsafety checking is executed for each method separately, but we only want to emit this error once per derive. As there are some impls with multiple methods, we use a query for deduplication.
#[must_use]pub fn fn_sig(self, key: impl IntoQueryParam<DefId>) -> fn_sig<'tcx>
[src]
The signature of functions.
#[must_use]pub fn lint_mod(self, key: LocalDefId) -> lint_mod<'tcx>
[src]
[query description - consider adding a doc-comment!] linting describe_as_module(key, tcx)
#[must_use]pub fn check_mod_attrs(self, key: LocalDefId) -> check_mod_attrs<'tcx>
[src]
Checks the attributes in the module.
#[must_use]pub fn check_mod_unstable_api_usage(
self,
key: LocalDefId
) -> check_mod_unstable_api_usage<'tcx>
[src]
self,
key: LocalDefId
) -> check_mod_unstable_api_usage<'tcx>
[query description - consider adding a doc-comment!] checking for unstable API usage in describe_as_module(key, tcx)
#[must_use]pub fn check_mod_const_bodies(
self,
key: LocalDefId
) -> check_mod_const_bodies<'tcx>
[src]
self,
key: LocalDefId
) -> check_mod_const_bodies<'tcx>
Checks the const bodies in the module for illegal operations (e.g. if
or loop
).
#[must_use]pub fn check_mod_loops(self, key: LocalDefId) -> check_mod_loops<'tcx>
[src]
Checks the loops in the module.
#[must_use]pub fn check_mod_naked_functions(
self,
key: LocalDefId
) -> check_mod_naked_functions<'tcx>
[src]
self,
key: LocalDefId
) -> check_mod_naked_functions<'tcx>
[query description - consider adding a doc-comment!] checking naked functions in describe_as_module(key, tcx)
#[must_use]pub fn check_mod_item_types(self, key: LocalDefId) -> check_mod_item_types<'tcx>
[src]
[query description - consider adding a doc-comment!] checking item types in describe_as_module(key, tcx)
#[must_use]pub fn check_mod_privacy(self, key: LocalDefId) -> check_mod_privacy<'tcx>
[src]
[query description - consider adding a doc-comment!] checking privacy in describe_as_module(key, tcx)
#[must_use]pub fn check_mod_intrinsics(self, key: LocalDefId) -> check_mod_intrinsics<'tcx>
[src]
[query description - consider adding a doc-comment!] checking intrinsics in describe_as_module(key, tcx)
#[must_use]pub fn check_mod_liveness(self, key: LocalDefId) -> check_mod_liveness<'tcx>
[src]
[query description - consider adding a doc-comment!] checking liveness of variables in describe_as_module(key, tcx)
#[must_use]pub fn check_mod_impl_wf(self, key: LocalDefId) -> check_mod_impl_wf<'tcx>
[src]
[query description - consider adding a doc-comment!] checking that impls are well-formed in describe_as_module(key, tcx)
#[must_use]pub fn collect_mod_item_types(
self,
key: LocalDefId
) -> collect_mod_item_types<'tcx>
[src]
self,
key: LocalDefId
) -> collect_mod_item_types<'tcx>
[query description - consider adding a doc-comment!] collecting item types in describe_as_module(key, tcx)
#[must_use]pub fn coerce_unsized_info(
self,
key: impl IntoQueryParam<DefId>
) -> coerce_unsized_info<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> coerce_unsized_info<'tcx>
Caches CoerceUnsized
kinds for impls on custom types.
#[must_use]pub fn typeck_item_bodies(self, key: CrateNum) -> typeck_item_bodies<'tcx>
[src]
[query description - consider adding a doc-comment!] type-checking all item bodies
#[must_use]pub fn typeck(self, key: LocalDefId) -> typeck<'tcx>
[src]
[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())
#[must_use]pub fn typeck_const_arg(
self,
key: (LocalDefId, DefId)
) -> typeck_const_arg<'tcx>
[src]
self,
key: (LocalDefId, DefId)
) -> typeck_const_arg<'tcx>
[query description - consider adding a doc-comment!] type-checking the const argument tcx.def_path_str(key.0.to_def_id())
#[must_use]pub fn diagnostic_only_typeck(
self,
key: LocalDefId
) -> diagnostic_only_typeck<'tcx>
[src]
self,
key: LocalDefId
) -> diagnostic_only_typeck<'tcx>
[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())
#[must_use]pub fn used_trait_imports(self, key: LocalDefId) -> used_trait_imports<'tcx>
[src]
[query description - consider adding a doc-comment!] used_trait_imports tcx.def_path_str(key.to_def_id())
#[must_use]pub fn has_typeck_results(
self,
key: impl IntoQueryParam<DefId>
) -> has_typeck_results<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> has_typeck_results<'tcx>
[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id)
has a body
#[must_use]pub fn coherent_trait(
self,
key: impl IntoQueryParam<DefId>
) -> coherent_trait<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> coherent_trait<'tcx>
[query description - consider adding a doc-comment!] coherence checking all impls of trait tcx.def_path_str(def_id)
#[must_use]pub fn mir_borrowck(self, key: LocalDefId) -> mir_borrowck<'tcx>
[src]
Borrow-checks the function body. If this is a closure, returns additional requirements that the closure’s creator must verify.
#[must_use]pub fn mir_borrowck_const_arg(
self,
key: (LocalDefId, DefId)
) -> mir_borrowck_const_arg<'tcx>
[src]
self,
key: (LocalDefId, DefId)
) -> mir_borrowck_const_arg<'tcx>
[query description - consider adding a doc-comment!] borrow-checking the const argument tcx.def_path_str(key.0.to_def_id())
#[must_use]pub fn crate_inherent_impls(self, key: CrateNum) -> crate_inherent_impls<'tcx>
[src]
Gets a complete map from all types to their inherent impls.
Not meant to be used directly outside of coherence.
(Defined only for LOCAL_CRATE
.)
#[must_use]pub fn crate_inherent_impls_overlap_check(
self,
key: CrateNum
) -> crate_inherent_impls_overlap_check<'tcx>
[src]
self,
key: CrateNum
) -> crate_inherent_impls_overlap_check<'tcx>
Checks all types in the crate for overlap in their inherent impls. Reports errors.
Not meant to be used directly outside of coherence.
(Defined only for LOCAL_CRATE
.)
#[must_use]pub fn mir_callgraph_reachable(
self,
key: (Instance<'tcx>, LocalDefId)
) -> mir_callgraph_reachable<'tcx>
[src]
self,
key: (Instance<'tcx>, LocalDefId)
) -> mir_callgraph_reachable<'tcx>
Check whether the function has any recursion that could cause the inliner to trigger a cycle. Returns the call stack causing the cycle. The call stack does not contain the current function, just all intermediate functions.
#[must_use]pub fn mir_inliner_callees(
self,
key: InstanceDef<'tcx>
) -> mir_inliner_callees<'tcx>
[src]
self,
key: InstanceDef<'tcx>
) -> mir_inliner_callees<'tcx>
Obtain all the calls into other local functions
#[must_use]pub fn eval_to_allocation_raw(
self,
key: ParamEnvAnd<'tcx, GlobalId<'tcx>>
) -> eval_to_allocation_raw<'tcx>
[src]
self,
key: ParamEnvAnd<'tcx, GlobalId<'tcx>>
) -> eval_to_allocation_raw<'tcx>
Evaluates a constant and returns the computed allocation.
Do not use this directly, use the tcx.eval_static_initializer
wrapper.
#[must_use]pub fn eval_to_const_value_raw(
self,
key: ParamEnvAnd<'tcx, GlobalId<'tcx>>
) -> eval_to_const_value_raw<'tcx>
[src]
self,
key: ParamEnvAnd<'tcx, GlobalId<'tcx>>
) -> eval_to_const_value_raw<'tcx>
Evaluates const items or anonymous constants (such as enum variant explicit discriminants or array lengths) into a representation suitable for the type system and const generics.
Do not use this directly, use one of the following wrappers: tcx.const_eval_poly
,
tcx.const_eval_resolve
, tcx.const_eval_instance
, or tcx.const_eval_global_id
.
#[must_use]pub fn destructure_const(
self,
key: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>
) -> destructure_const<'tcx>
[src]
self,
key: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>
) -> destructure_const<'tcx>
Destructure a constant ADT or array into its variant index and its field values.
#[must_use]pub fn deref_const(
self,
key: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>
) -> deref_const<'tcx>
[src]
self,
key: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>
) -> deref_const<'tcx>
Dereference a constant reference or raw pointer and turn the result into a constant again.
#[must_use]pub fn const_caller_location(
self,
key: (Symbol, u32, u32)
) -> const_caller_location<'tcx>
[src]
self,
key: (Symbol, u32, u32)
) -> const_caller_location<'tcx>
[query description - consider adding a doc-comment!] get a &core::panic::Location referring to a span
#[must_use]pub fn lit_to_const(self, key: LitToConstInput<'tcx>) -> lit_to_const<'tcx>
[src]
[query description - consider adding a doc-comment!] converting literal to const
#[must_use]pub fn check_match(self, key: impl IntoQueryParam<DefId>) -> check_match<'tcx>
[src]
[query description - consider adding a doc-comment!] match-checking tcx.def_path_str(key)
#[must_use]pub fn privacy_access_levels(self, key: CrateNum) -> privacy_access_levels<'tcx>
[src]
Performs part of the privacy check and computes “access levels”.
#[must_use]pub fn check_private_in_public(
self,
key: CrateNum
) -> check_private_in_public<'tcx>
[src]
self,
key: CrateNum
) -> check_private_in_public<'tcx>
[query description - consider adding a doc-comment!] checking for private elements in public interfaces
#[must_use]pub fn reachable_set(self, key: CrateNum) -> reachable_set<'tcx>
[src]
[query description - consider adding a doc-comment!] reachability
#[must_use]pub fn region_scope_tree(
self,
key: impl IntoQueryParam<DefId>
) -> region_scope_tree<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> region_scope_tree<'tcx>
Per-body region::ScopeTree
. The DefId
should be the owner DefId
for the body;
in the case of closures, this will be redirected to the enclosing function.
#[must_use]pub fn mir_shims(self, key: InstanceDef<'tcx>) -> mir_shims<'tcx>
[src]
[query description - consider adding a doc-comment!] generating MIR shim for tcx.def_path_str(key.def_id())
#[must_use]pub fn symbol_name(self, key: Instance<'tcx>) -> symbol_name<'tcx>
[src]
The symbol_name
query provides the symbol name for calling a
given instance from the local crate. In particular, it will also
look up the correct symbol name of instances from upstream crates.
#[must_use]pub fn opt_def_kind(self, key: impl IntoQueryParam<DefId>) -> opt_def_kind<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up definition kind of tcx.def_path_str(def_id)
#[must_use]pub fn def_span(self, key: impl IntoQueryParam<DefId>) -> def_span<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up span for tcx.def_path_str(def_id)
#[must_use]pub fn def_ident_span(
self,
key: impl IntoQueryParam<DefId>
) -> def_ident_span<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> def_ident_span<'tcx>
[query description - consider adding a doc-comment!] looking up span for tcx.def_path_str(def_id)
’s identifier
#[must_use]pub fn lookup_stability(
self,
key: impl IntoQueryParam<DefId>
) -> lookup_stability<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> lookup_stability<'tcx>
[query description - consider adding a doc-comment!] looking up stability of tcx.def_path_str(def_id)
#[must_use]pub fn lookup_const_stability(
self,
key: impl IntoQueryParam<DefId>
) -> lookup_const_stability<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> lookup_const_stability<'tcx>
[query description - consider adding a doc-comment!] looking up const stability of tcx.def_path_str(def_id)
#[must_use]pub fn lookup_deprecation_entry(
self,
key: impl IntoQueryParam<DefId>
) -> lookup_deprecation_entry<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> lookup_deprecation_entry<'tcx>
[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id)
is deprecated
#[must_use]pub fn item_attrs(self, key: impl IntoQueryParam<DefId>) -> item_attrs<'tcx>
[src]
[query description - consider adding a doc-comment!] collecting attributes of tcx.def_path_str(def_id)
#[must_use]pub fn codegen_fn_attrs(
self,
key: impl IntoQueryParam<DefId>
) -> codegen_fn_attrs<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> codegen_fn_attrs<'tcx>
[query description - consider adding a doc-comment!] computing codegen attributes of tcx.def_path_str(def_id)
#[must_use]pub fn fn_arg_names(self, key: impl IntoQueryParam<DefId>) -> fn_arg_names<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up function parameter names for tcx.def_path_str(def_id)
#[must_use]pub fn rendered_const(
self,
key: impl IntoQueryParam<DefId>
) -> rendered_const<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> rendered_const<'tcx>
Gets the rendered value of the specified constant or associated constant. Used by rustdoc.
#[must_use]pub fn impl_parent(self, key: impl IntoQueryParam<DefId>) -> impl_parent<'tcx>
[src]
[query description - consider adding a doc-comment!] computing specialization parent impl of tcx.def_path_str(def_id)
#[must_use]pub fn trait_of_item(
self,
key: impl IntoQueryParam<DefId>
) -> trait_of_item<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> trait_of_item<'tcx>
Given an associated_item
, find the trait it belongs to.
Return None
if the DefId
is not an associated item.
#[must_use]pub fn is_ctfe_mir_available(
self,
key: impl IntoQueryParam<DefId>
) -> is_ctfe_mir_available<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> is_ctfe_mir_available<'tcx>
[query description - consider adding a doc-comment!] checking if item has ctfe mir available: tcx.def_path_str(key)
#[must_use]pub fn is_mir_available(
self,
key: impl IntoQueryParam<DefId>
) -> is_mir_available<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> is_mir_available<'tcx>
[query description - consider adding a doc-comment!] checking if item has mir available: tcx.def_path_str(key)
#[must_use]pub fn vtable_methods(self, key: PolyTraitRef<'tcx>) -> vtable_methods<'tcx>
[src]
[query description - consider adding a doc-comment!] finding all methods for trait tcx.def_path_str(key.def_id())
#[must_use]pub fn codegen_fulfill_obligation(
self,
key: (ParamEnv<'tcx>, PolyTraitRef<'tcx>)
) -> codegen_fulfill_obligation<'tcx>
[src]
self,
key: (ParamEnv<'tcx>, PolyTraitRef<'tcx>)
) -> codegen_fulfill_obligation<'tcx>
[query description - consider adding a doc-comment!] checking if tcx.def_path_str(key.1.def_id())
fulfills its obligations
#[must_use]pub fn all_local_trait_impls(self, key: CrateNum) -> all_local_trait_impls<'tcx>
[src]
Return all impl
blocks in the current crate.
To allow caching this between crates, you must pass in LOCAL_CRATE
as the crate number.
Passing in any other crate will cause an ICE.
#[must_use]pub fn trait_impls_of(
self,
key: impl IntoQueryParam<DefId>
) -> trait_impls_of<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> trait_impls_of<'tcx>
Given a trait trait_id
, return all known impl
blocks.
#[must_use]pub fn specialization_graph_of(
self,
key: impl IntoQueryParam<DefId>
) -> specialization_graph_of<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> specialization_graph_of<'tcx>
[query description - consider adding a doc-comment!] building specialization graph of trait tcx.def_path_str(trait_id)
#[must_use]pub fn object_safety_violations(
self,
key: impl IntoQueryParam<DefId>
) -> object_safety_violations<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> object_safety_violations<'tcx>
[query description - consider adding a doc-comment!] determine object safety of trait tcx.def_path_str(trait_id)
#[must_use]pub fn param_env(self, key: impl IntoQueryParam<DefId>) -> param_env<'tcx>
[src]
Gets the ParameterEnvironment for a given item; this environment
will be in “user-facing” mode, meaning that it is suitable for
type-checking etc, and it does not normalize specializable
associated types. This is almost always what you want,
unless you are doing MIR optimizations, in which case you
might want to use reveal_all()
method to change modes.
#[must_use]pub fn param_env_reveal_all_normalized(
self,
key: impl IntoQueryParam<DefId>
) -> param_env_reveal_all_normalized<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> param_env_reveal_all_normalized<'tcx>
Like param_env
, but returns the ParamEnv in
Reveal::Allmode. Prefer this over
tcx.param_env(def_id).with_reveal_all_normalized(tcx)`,
as this method is more efficient.
#[must_use]pub fn is_copy_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>) -> is_copy_raw<'tcx>
[src]
Trait selection queries. These are best used by invoking ty.is_copy_modulo_regions()
,
ty.is_copy()
, etc, since that will prune the environment where possible.
#[must_use]pub fn is_sized_raw(
self,
key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> is_sized_raw<'tcx>
[src]
self,
key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> is_sized_raw<'tcx>
Query backing TyS::is_sized
.
#[must_use]pub fn is_freeze_raw(
self,
key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> is_freeze_raw<'tcx>
[src]
self,
key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> is_freeze_raw<'tcx>
Query backing TyS::is_freeze
.
#[must_use]pub fn needs_drop_raw(
self,
key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> needs_drop_raw<'tcx>
[src]
self,
key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> needs_drop_raw<'tcx>
Query backing TyS::needs_drop
.
#[must_use]pub fn has_structural_eq_impls(
self,
key: Ty<'tcx>
) -> has_structural_eq_impls<'tcx>
[src]
self,
key: Ty<'tcx>
) -> has_structural_eq_impls<'tcx>
Query backing TyS::is_structural_eq_shallow
.
This is only correct for ADTs. Call is_structural_eq_shallow
to handle all types
correctly.
#[must_use]pub fn adt_drop_tys(self, key: impl IntoQueryParam<DefId>) -> adt_drop_tys<'tcx>
[src]
A list of types where the ADT requires drop if and only if any of
those types require drop. If the ADT is known to always need drop
then Err(AlwaysRequiresDrop)
is returned.
#[must_use]pub fn layout_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>) -> layout_raw<'tcx>
[src]
[query description - consider adding a doc-comment!] computing layout of env.value
#[must_use]pub fn dylib_dependency_formats(
self,
key: CrateNum
) -> dylib_dependency_formats<'tcx>
[src]
self,
key: CrateNum
) -> dylib_dependency_formats<'tcx>
[query description - consider adding a doc-comment!] dylib dependency formats of crate
#[must_use]pub fn dependency_formats(self, key: CrateNum) -> dependency_formats<'tcx>
[src]
[query description - consider adding a doc-comment!] get the linkage format of all dependencies
#[must_use]pub fn is_compiler_builtins(self, key: CrateNum) -> is_compiler_builtins<'tcx>
[src]
[query description - consider adding a doc-comment!] checking if the crate is_compiler_builtins
#[must_use]pub fn has_global_allocator(self, key: CrateNum) -> has_global_allocator<'tcx>
[src]
[query description - consider adding a doc-comment!] checking if the crate has_global_allocator
#[must_use]pub fn has_panic_handler(self, key: CrateNum) -> has_panic_handler<'tcx>
[src]
[query description - consider adding a doc-comment!] checking if the crate has_panic_handler
#[must_use]pub fn is_profiler_runtime(self, key: CrateNum) -> is_profiler_runtime<'tcx>
[src]
[query description - consider adding a doc-comment!] query a crate is #![profiler_runtime]
#[must_use]pub fn panic_strategy(self, key: CrateNum) -> panic_strategy<'tcx>
[src]
[query description - consider adding a doc-comment!] query a crate’s configured panic strategy
#[must_use]pub fn is_no_builtins(self, key: CrateNum) -> is_no_builtins<'tcx>
[src]
[query description - consider adding a doc-comment!] test whether a crate has #![no_builtins]
#[must_use]pub fn symbol_mangling_version(
self,
key: CrateNum
) -> symbol_mangling_version<'tcx>
[src]
self,
key: CrateNum
) -> symbol_mangling_version<'tcx>
[query description - consider adding a doc-comment!] query a crate’s symbol mangling version
#[must_use]pub fn extern_crate(self, key: impl IntoQueryParam<DefId>) -> extern_crate<'tcx>
[src]
[query description - consider adding a doc-comment!] getting crate’s ExternCrateData
#[must_use]pub fn specializes(self, key: (DefId, DefId)) -> specializes<'tcx>
[src]
[query description - consider adding a doc-comment!] computing whether impls specialize one another
#[must_use]pub fn in_scope_traits_map(self, key: LocalDefId) -> in_scope_traits_map<'tcx>
[src]
[query description - consider adding a doc-comment!] traits in scope at a block
#[must_use]pub fn module_exports(self, key: LocalDefId) -> module_exports<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up items exported by tcx.def_path_str(def_id.to_def_id())
#[must_use]pub fn impl_defaultness(
self,
key: impl IntoQueryParam<DefId>
) -> impl_defaultness<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> impl_defaultness<'tcx>
[query description - consider adding a doc-comment!] looking up whether tcx.def_path_str(def_id)
is a default impl
#[must_use]pub fn check_item_well_formed(
self,
key: LocalDefId
) -> check_item_well_formed<'tcx>
[src]
self,
key: LocalDefId
) -> check_item_well_formed<'tcx>
[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key.to_def_id())
is well-formed
#[must_use]pub fn check_trait_item_well_formed(
self,
key: LocalDefId
) -> check_trait_item_well_formed<'tcx>
[src]
self,
key: LocalDefId
) -> check_trait_item_well_formed<'tcx>
[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key.to_def_id())
is well-formed
#[must_use]pub fn check_impl_item_well_formed(
self,
key: LocalDefId
) -> check_impl_item_well_formed<'tcx>
[src]
self,
key: LocalDefId
) -> check_impl_item_well_formed<'tcx>
[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key.to_def_id())
is well-formed
#[must_use]pub fn reachable_non_generics(
self,
key: CrateNum
) -> reachable_non_generics<'tcx>
[src]
self,
key: CrateNum
) -> reachable_non_generics<'tcx>
[query description - consider adding a doc-comment!] looking up the exported symbols of a crate
#[must_use]pub fn is_reachable_non_generic(
self,
key: impl IntoQueryParam<DefId>
) -> is_reachable_non_generic<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> is_reachable_non_generic<'tcx>
[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id)
is an exported symbol
#[must_use]pub fn is_unreachable_local_definition(
self,
key: impl IntoQueryParam<DefId>
) -> is_unreachable_local_definition<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> is_unreachable_local_definition<'tcx>
[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id)
is reachable from outside the crate
#[must_use]pub fn upstream_monomorphizations(
self,
key: CrateNum
) -> upstream_monomorphizations<'tcx>
[src]
self,
key: CrateNum
) -> upstream_monomorphizations<'tcx>
The entire set of monomorphizations the local crate can safely link
to because they are exported from upstream crates. Do not depend on
this directly, as its value changes anytime a monomorphization gets
added or removed in any upstream crate. Instead use the narrower
upstream_monomorphizations_for
, upstream_drop_glue_for
, or, even
better, Instance::upstream_monomorphization()
.
#[must_use]pub fn upstream_monomorphizations_for(
self,
key: impl IntoQueryParam<DefId>
) -> upstream_monomorphizations_for<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> upstream_monomorphizations_for<'tcx>
Returns the set of upstream monomorphizations available for the
generic function identified by the given def_id
. The query makes
sure to make a stable selection if the same monomorphization is
available in multiple upstream crates.
You likely want to call Instance::upstream_monomorphization()
instead of invoking this query directly.
#[must_use]pub fn upstream_drop_glue_for(
self,
key: SubstsRef<'tcx>
) -> upstream_drop_glue_for<'tcx>
[src]
self,
key: SubstsRef<'tcx>
) -> upstream_drop_glue_for<'tcx>
Returns the upstream crate that exports drop-glue for the given
type (substs
is expected to be a single-item list containing the
type one wants drop-glue for).
This is a subset of upstream_monomorphizations_for
in order to
increase dep-tracking granularity. Otherwise adding or removing any
type with drop-glue in any upstream crate would invalidate all
functions calling drop-glue of an upstream type.
You likely want to call Instance::upstream_monomorphization()
instead of invoking this query directly.
NOTE: This query could easily be extended to also support other
common functions that have are large set of monomorphizations
(like Clone::clone
for example).
#[must_use]pub fn foreign_modules(self, key: CrateNum) -> foreign_modules<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up the foreign modules of a linked crate
#[must_use]pub fn entry_fn(self, key: CrateNum) -> entry_fn<'tcx>
[src]
Identifies the entry-point (e.g., the main
function) for a given
crate, returning None
if there is no entry point (such as for library crates).
#[must_use]pub fn plugin_registrar_fn(self, key: CrateNum) -> plugin_registrar_fn<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up the plugin registrar for a crate
#[must_use]pub fn proc_macro_decls_static(
self,
key: CrateNum
) -> proc_macro_decls_static<'tcx>
[src]
self,
key: CrateNum
) -> proc_macro_decls_static<'tcx>
[query description - consider adding a doc-comment!] looking up the derive registrar for a crate
#[must_use]pub fn crate_disambiguator(self, key: CrateNum) -> crate_disambiguator<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up the disambiguator a crate
#[must_use]pub fn crate_hash(self, key: CrateNum) -> crate_hash<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up the hash a crate
#[must_use]pub fn crate_host_hash(self, key: CrateNum) -> crate_host_hash<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up the hash of a host version of a crate
#[must_use]pub fn original_crate_name(self, key: CrateNum) -> original_crate_name<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up the original name a crate
#[must_use]pub fn extra_filename(self, key: CrateNum) -> extra_filename<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up the extra filename for a crate
#[must_use]pub fn crate_extern_paths(self, key: CrateNum) -> crate_extern_paths<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up the paths for extern crates
#[must_use]pub fn implementations_of_trait(
self,
key: (CrateNum, DefId)
) -> implementations_of_trait<'tcx>
[src]
self,
key: (CrateNum, DefId)
) -> implementations_of_trait<'tcx>
Given a crate and a trait, look up all impls of that trait in the crate.
Return (impl_id, self_ty)
.
#[must_use]pub fn all_trait_implementations(
self,
key: CrateNum
) -> all_trait_implementations<'tcx>
[src]
self,
key: CrateNum
) -> all_trait_implementations<'tcx>
Given a crate, look up all trait impls in that crate.
Return (impl_id, self_ty)
.
#[must_use]pub fn is_dllimport_foreign_item(
self,
key: impl IntoQueryParam<DefId>
) -> is_dllimport_foreign_item<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> is_dllimport_foreign_item<'tcx>
[query description - consider adding a doc-comment!] is_dllimport_foreign_item( tcx.def_path_str(def_id)
)
#[must_use]pub fn is_statically_included_foreign_item(
self,
key: impl IntoQueryParam<DefId>
) -> is_statically_included_foreign_item<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> is_statically_included_foreign_item<'tcx>
[query description - consider adding a doc-comment!] is_statically_included_foreign_item( tcx.def_path_str(def_id)
)
#[must_use]pub fn native_library_kind(
self,
key: impl IntoQueryParam<DefId>
) -> native_library_kind<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> native_library_kind<'tcx>
[query description - consider adding a doc-comment!] native_library_kind( tcx.def_path_str(def_id)
)
#[must_use]pub fn link_args(self, key: CrateNum) -> link_args<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up link arguments for a crate
#[must_use]pub fn resolve_lifetimes(self, key: CrateNum) -> resolve_lifetimes<'tcx>
[src]
Lifetime resolution. See middle::resolve_lifetimes
.
#[must_use]pub fn named_region_map(self, key: LocalDefId) -> named_region_map<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up a named region
#[must_use]pub fn is_late_bound_map(self, key: LocalDefId) -> is_late_bound_map<'tcx>
[src]
[query description - consider adding a doc-comment!] testing if a region is late bound
#[must_use]pub fn object_lifetime_defaults_map(
self,
key: LocalDefId
) -> object_lifetime_defaults_map<'tcx>
[src]
self,
key: LocalDefId
) -> object_lifetime_defaults_map<'tcx>
[query description - consider adding a doc-comment!] looking up lifetime defaults for a region
#[must_use]pub fn visibility(self, key: impl IntoQueryParam<DefId>) -> visibility<'tcx>
[src]
[query description - consider adding a doc-comment!] computing visibility of tcx.def_path_str(def_id)
#[must_use]pub fn type_uninhabited_from(
self,
key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> type_uninhabited_from<'tcx>
[src]
self,
key: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> type_uninhabited_from<'tcx>
Computes the set of modules from which this type is visibly uninhabited. To check whether a type is uninhabited at all (not just from a given module), you could check whether the forest is empty.
#[must_use]pub fn dep_kind(self, key: CrateNum) -> dep_kind<'tcx>
[src]
[query description - consider adding a doc-comment!] fetching what a dependency looks like
#[must_use]pub fn crate_name(self, key: CrateNum) -> crate_name<'tcx>
[src]
[query description - consider adding a doc-comment!] fetching what a crate is named
#[must_use]pub fn item_children(
self,
key: impl IntoQueryParam<DefId>
) -> item_children<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> item_children<'tcx>
[query description - consider adding a doc-comment!] collecting child items of tcx.def_path_str(def_id)
#[must_use]pub fn extern_mod_stmt_cnum(self, key: LocalDefId) -> extern_mod_stmt_cnum<'tcx>
[src]
[query description - consider adding a doc-comment!] computing crate imported by tcx.def_path_str(def_id.to_def_id())
#[must_use]pub fn get_lib_features(self, key: CrateNum) -> get_lib_features<'tcx>
[src]
[query description - consider adding a doc-comment!] calculating the lib features map
#[must_use]pub fn defined_lib_features(self, key: CrateNum) -> defined_lib_features<'tcx>
[src]
[query description - consider adding a doc-comment!] calculating the lib features defined in a crate
#[must_use]pub fn get_lang_items(self, key: CrateNum) -> get_lang_items<'tcx>
[src]
Returns the lang items defined in another crate by loading it from metadata.
#[must_use]pub fn all_diagnostic_items(self, key: CrateNum) -> all_diagnostic_items<'tcx>
[src]
Returns all diagnostic items defined in all crates.
#[must_use]pub fn defined_lang_items(self, key: CrateNum) -> defined_lang_items<'tcx>
[src]
Returns the lang items defined in another crate by loading it from metadata.
#[must_use]pub fn diagnostic_items(self, key: CrateNum) -> diagnostic_items<'tcx>
[src]
Returns the diagnostic items defined in a crate.
#[must_use]pub fn missing_lang_items(self, key: CrateNum) -> missing_lang_items<'tcx>
[src]
[query description - consider adding a doc-comment!] calculating the missing lang items in a crate
#[must_use]pub fn visible_parent_map(self, key: CrateNum) -> visible_parent_map<'tcx>
[src]
[query description - consider adding a doc-comment!] calculating the visible parent map
#[must_use]pub fn trimmed_def_paths(self, key: CrateNum) -> trimmed_def_paths<'tcx>
[src]
[query description - consider adding a doc-comment!] calculating trimmed def paths
#[must_use]pub fn missing_extern_crate_item(
self,
key: CrateNum
) -> missing_extern_crate_item<'tcx>
[src]
self,
key: CrateNum
) -> missing_extern_crate_item<'tcx>
[query description - consider adding a doc-comment!] seeing if we’re missing an extern crate
item for this crate
#[must_use]pub fn used_crate_source(self, key: CrateNum) -> used_crate_source<'tcx>
[src]
[query description - consider adding a doc-comment!] looking at the source for a crate
#[must_use]pub fn postorder_cnums(self, key: CrateNum) -> postorder_cnums<'tcx>
[src]
[query description - consider adding a doc-comment!] generating a postorder list of CrateNums
#[must_use]pub fn upvars_mentioned(
self,
key: impl IntoQueryParam<DefId>
) -> upvars_mentioned<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> upvars_mentioned<'tcx>
[query description - consider adding a doc-comment!] collecting upvars mentioned in tcx.def_path_str(def_id)
#[must_use]pub fn maybe_unused_trait_import(
self,
key: LocalDefId
) -> maybe_unused_trait_import<'tcx>
[src]
self,
key: LocalDefId
) -> maybe_unused_trait_import<'tcx>
[query description - consider adding a doc-comment!] maybe_unused_trait_import for tcx.def_path_str(def_id.to_def_id())
#[must_use]pub fn maybe_unused_extern_crates(
self,
key: CrateNum
) -> maybe_unused_extern_crates<'tcx>
[src]
self,
key: CrateNum
) -> maybe_unused_extern_crates<'tcx>
[query description - consider adding a doc-comment!] looking up all possibly unused extern crates
#[must_use]pub fn names_imported_by_glob_use(
self,
key: LocalDefId
) -> names_imported_by_glob_use<'tcx>
[src]
self,
key: LocalDefId
) -> names_imported_by_glob_use<'tcx>
[query description - consider adding a doc-comment!] names_imported_by_glob_use for tcx.def_path_str(def_id.to_def_id())
#[must_use]pub fn stability_index(self, key: CrateNum) -> stability_index<'tcx>
[src]
[query description - consider adding a doc-comment!] calculating the stability index for the local crate
#[must_use]pub fn all_crate_nums(self, key: CrateNum) -> all_crate_nums<'tcx>
[src]
[query description - consider adding a doc-comment!] fetching all foreign CrateNum instances
#[must_use]pub fn all_traits(self, key: CrateNum) -> all_traits<'tcx>
[src]
A vector of every trait accessible in the whole crate (i.e., including those from subcrates). This is used only for error reporting.
#[must_use]pub fn exported_symbols(self, key: CrateNum) -> exported_symbols<'tcx>
[src]
The list of symbols exported from the given crate.
- All names contained in
exported_symbols(cnum)
are guaranteed to correspond to a publicly visible symbol incnum
machine code. - The
exported_symbols
sets of different crates do not intersect.
#[must_use]pub fn collect_and_partition_mono_items(
self,
key: CrateNum
) -> collect_and_partition_mono_items<'tcx>
[src]
self,
key: CrateNum
) -> collect_and_partition_mono_items<'tcx>
[query description - consider adding a doc-comment!] collect_and_partition_mono_items
#[must_use]pub fn is_codegened_item(
self,
key: impl IntoQueryParam<DefId>
) -> is_codegened_item<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> is_codegened_item<'tcx>
[query description - consider adding a doc-comment!] determining whether tcx.def_path_str(def_id)
needs codegen
#[must_use]pub fn codegen_unit(self, key: Symbol) -> codegen_unit<'tcx>
[src]
[query description - consider adding a doc-comment!] codegen_unit
#[must_use]pub fn unused_generic_params(
self,
key: impl IntoQueryParam<DefId>
) -> unused_generic_params<'tcx>
[src]
self,
key: impl IntoQueryParam<DefId>
) -> unused_generic_params<'tcx>
[query description - consider adding a doc-comment!] determining which generic parameters are unused by tcx.def_path_str(key)
#[must_use]pub fn backend_optimization_level(
self,
key: CrateNum
) -> backend_optimization_level<'tcx>
[src]
self,
key: CrateNum
) -> backend_optimization_level<'tcx>
[query description - consider adding a doc-comment!] optimization level used by backend
#[must_use]pub fn output_filenames(self, key: CrateNum) -> output_filenames<'tcx>
[src]
[query description - consider adding a doc-comment!] output_filenames
#[must_use]pub fn normalize_projection_ty(
self,
key: CanonicalProjectionGoal<'tcx>
) -> normalize_projection_ty<'tcx>
[src]
self,
key: CanonicalProjectionGoal<'tcx>
) -> normalize_projection_ty<'tcx>
Do not call this query directly: invoke normalize
instead.
#[must_use]pub fn normalize_generic_arg_after_erasing_regions(
self,
key: ParamEnvAnd<'tcx, GenericArg<'tcx>>
) -> normalize_generic_arg_after_erasing_regions<'tcx>
[src]
self,
key: ParamEnvAnd<'tcx, GenericArg<'tcx>>
) -> normalize_generic_arg_after_erasing_regions<'tcx>
Do not call this query directly: invoke normalize_erasing_regions
instead.
#[must_use]pub fn implied_outlives_bounds(
self,
key: CanonicalTyGoal<'tcx>
) -> implied_outlives_bounds<'tcx>
[src]
self,
key: CanonicalTyGoal<'tcx>
) -> implied_outlives_bounds<'tcx>
[query description - consider adding a doc-comment!] computing implied outlives bounds for {:?}
#[must_use]pub fn dropck_outlives(
self,
key: CanonicalTyGoal<'tcx>
) -> dropck_outlives<'tcx>
[src]
self,
key: CanonicalTyGoal<'tcx>
) -> dropck_outlives<'tcx>
Do not call this query directly: invoke infcx.at().dropck_outlives()
instead.
#[must_use]pub fn evaluate_obligation(
self,
key: CanonicalPredicateGoal<'tcx>
) -> evaluate_obligation<'tcx>
[src]
self,
key: CanonicalPredicateGoal<'tcx>
) -> evaluate_obligation<'tcx>
Do not call this query directly: invoke infcx.predicate_may_hold()
or
infcx.predicate_must_hold()
instead.
#[must_use]pub fn evaluate_goal(
self,
key: CanonicalChalkEnvironmentAndGoal<'tcx>
) -> evaluate_goal<'tcx>
[src]
self,
key: CanonicalChalkEnvironmentAndGoal<'tcx>
) -> evaluate_goal<'tcx>
[query description - consider adding a doc-comment!] evaluating trait selection obligation goal.value
#[must_use]pub fn type_implements_trait(
self,
key: (DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)
) -> type_implements_trait<'tcx>
[src]
self,
key: (DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)
) -> type_implements_trait<'tcx>
[query description - consider adding a doc-comment!] evaluating type_implements_trait
{:?}
#[must_use]pub fn type_op_ascribe_user_type(
self,
key: CanonicalTypeOpAscribeUserTypeGoal<'tcx>
) -> type_op_ascribe_user_type<'tcx>
[src]
self,
key: CanonicalTypeOpAscribeUserTypeGoal<'tcx>
) -> type_op_ascribe_user_type<'tcx>
Do not call this query directly: part of the Eq
type-op
#[must_use]pub fn type_op_eq(self, key: CanonicalTypeOpEqGoal<'tcx>) -> type_op_eq<'tcx>
[src]
Do not call this query directly: part of the Eq
type-op
#[must_use]pub fn type_op_subtype(
self,
key: CanonicalTypeOpSubtypeGoal<'tcx>
) -> type_op_subtype<'tcx>
[src]
self,
key: CanonicalTypeOpSubtypeGoal<'tcx>
) -> type_op_subtype<'tcx>
Do not call this query directly: part of the Subtype
type-op
#[must_use]pub fn type_op_prove_predicate(
self,
key: CanonicalTypeOpProvePredicateGoal<'tcx>
) -> type_op_prove_predicate<'tcx>
[src]
self,
key: CanonicalTypeOpProvePredicateGoal<'tcx>
) -> type_op_prove_predicate<'tcx>
Do not call this query directly: part of the ProvePredicate
type-op
#[must_use]pub fn type_op_normalize_ty(
self,
key: CanonicalTypeOpNormalizeGoal<'tcx, Ty<'tcx>>
) -> type_op_normalize_ty<'tcx>
[src]
self,
key: CanonicalTypeOpNormalizeGoal<'tcx, Ty<'tcx>>
) -> type_op_normalize_ty<'tcx>
Do not call this query directly: part of the Normalize
type-op
#[must_use]pub fn type_op_normalize_predicate(
self,
key: CanonicalTypeOpNormalizeGoal<'tcx, Predicate<'tcx>>
) -> type_op_normalize_predicate<'tcx>
[src]
self,
key: CanonicalTypeOpNormalizeGoal<'tcx, Predicate<'tcx>>
) -> type_op_normalize_predicate<'tcx>
Do not call this query directly: part of the Normalize
type-op
#[must_use]pub fn type_op_normalize_poly_fn_sig(
self,
key: CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>
) -> type_op_normalize_poly_fn_sig<'tcx>
[src]
self,
key: CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>
) -> type_op_normalize_poly_fn_sig<'tcx>
Do not call this query directly: part of the Normalize
type-op
#[must_use]pub fn type_op_normalize_fn_sig(
self,
key: CanonicalTypeOpNormalizeGoal<'tcx, FnSig<'tcx>>
) -> type_op_normalize_fn_sig<'tcx>
[src]
self,
key: CanonicalTypeOpNormalizeGoal<'tcx, FnSig<'tcx>>
) -> type_op_normalize_fn_sig<'tcx>
Do not call this query directly: part of the Normalize
type-op
#[must_use]pub fn subst_and_check_impossible_predicates(
self,
key: (DefId, SubstsRef<'tcx>)
) -> subst_and_check_impossible_predicates<'tcx>
[src]
self,
key: (DefId, SubstsRef<'tcx>)
) -> subst_and_check_impossible_predicates<'tcx>
[query description - consider adding a doc-comment!] impossible substituted predicates: tcx.def_path_str(key.0)
#[must_use]pub fn method_autoderef_steps(
self,
key: CanonicalTyGoal<'tcx>
) -> method_autoderef_steps<'tcx>
[src]
self,
key: CanonicalTyGoal<'tcx>
) -> method_autoderef_steps<'tcx>
[query description - consider adding a doc-comment!] computing autoderef types for {:?}
#[must_use]pub fn supported_target_features(
self,
key: CrateNum
) -> supported_target_features<'tcx>
[src]
self,
key: CrateNum
) -> supported_target_features<'tcx>
[query description - consider adding a doc-comment!] looking up supported target features
#[must_use]pub fn instance_def_size_estimate(
self,
key: InstanceDef<'tcx>
) -> instance_def_size_estimate<'tcx>
[src]
self,
key: InstanceDef<'tcx>
) -> instance_def_size_estimate<'tcx>
Get an estimate of the size of an InstanceDef based on its MIR for CGU partitioning.
#[must_use]pub fn features_query(self, key: CrateNum) -> features_query<'tcx>
[src]
[query description - consider adding a doc-comment!] looking up enabled feature gates
#[must_use]pub fn resolve_instance(
self,
key: ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>
) -> resolve_instance<'tcx>
[src]
self,
key: ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>
) -> resolve_instance<'tcx>
Attempt to resolve the given DefId
to an Instance
, for the
given generics args (SubstsRef
), returning one of:
Ok(Some(instance))
on successOk(None)
when theSubstsRef
are still too generic, and therefore don’t allow finding the finalInstance
Err(ErrorReported)
when theInstance
resolution process couldn’t complete due to errors elsewhere - this is distinct fromOk(None)
to avoid misleading diagnostics when an error has already been/will be emitted, for the original cause
#[must_use]pub fn resolve_instance_of_const_arg(
self,
key: ParamEnvAnd<'tcx, (LocalDefId, DefId, SubstsRef<'tcx>)>
) -> resolve_instance_of_const_arg<'tcx>
[src]
self,
key: ParamEnvAnd<'tcx, (LocalDefId, DefId, SubstsRef<'tcx>)>
) -> resolve_instance_of_const_arg<'tcx>
[query description - consider adding a doc-comment!] resolving instance of the const argument ty :: Instance :: new(key.value.0.to_def_id(), key.value.2)
#[must_use]pub fn normalize_opaque_types(
self,
key: &'tcx List<Predicate<'tcx>>
) -> normalize_opaque_types<'tcx>
[src]
self,
key: &'tcx List<Predicate<'tcx>>
) -> normalize_opaque_types<'tcx>
[query description - consider adding a doc-comment!] normalizing opaque types in {:?}
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn def_kind(self, def_id: impl IntoQueryParam<DefId>) -> DefKind
[src]
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn for_each_impl<F: FnMut(DefId)>(self, def_id: DefId, f: F)
[src]
pub fn for_each_relevant_impl<F: FnMut(DefId)>(
self,
def_id: DefId,
self_ty: Ty<'tcx>,
f: F
)
[src]
self,
def_id: DefId,
self_ty: Ty<'tcx>,
f: F
)
Iterate over every impl that could possibly match the
self type self_ty
.
pub fn find_map_relevant_impl<T, F: FnMut(DefId) -> Option<T>>(
self,
def_id: DefId,
self_ty: Ty<'tcx>,
f: F
) -> Option<T>
[src]
self,
def_id: DefId,
self_ty: Ty<'tcx>,
f: F
) -> Option<T>
Applies function to every impl that could possibly match the self type self_ty
and returns
the first non-none value.
pub fn all_impls(self, def_id: DefId) -> impl Iterator<Item = DefId> + 'tcx
[src]
Returns an iterator containing all impls
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn type_id_hash(self, ty: Ty<'tcx>) -> u64
[src]
Creates a hash of the type Ty
which will be the same no matter what crate
context it’s calculated within. This is used by the type_id
intrinsic.
pub fn has_error_field(self, ty: Ty<'tcx>) -> bool
[src]
pub fn struct_tail_without_normalization(self, ty: Ty<'tcx>) -> Ty<'tcx>
[src]
Attempts to returns the deeply last field of nested structures, but
does not apply any normalization in its search. Returns the same type
if input ty
is not a structure at all.
pub fn struct_tail_erasing_lifetimes(
self,
ty: Ty<'tcx>,
param_env: ParamEnv<'tcx>
) -> Ty<'tcx>
[src]
self,
ty: Ty<'tcx>,
param_env: ParamEnv<'tcx>
) -> Ty<'tcx>
Returns the deeply last field of nested structures, or the same type if not a structure at all. Corresponds to the only possible unsized field, and its type can be used to determine unsizing strategy.
Should only be called if ty
has no inference variables and does not
need its lifetimes preserved (e.g. as part of codegen); otherwise
normalization attempt may cause compiler bugs.
pub fn struct_tail_with_normalize(
self,
ty: Ty<'tcx>,
normalize: impl Fn(Ty<'tcx>) -> Ty<'tcx>
) -> Ty<'tcx>
[src]
self,
ty: Ty<'tcx>,
normalize: impl Fn(Ty<'tcx>) -> Ty<'tcx>
) -> Ty<'tcx>
Returns the deeply last field of nested structures, or the same type if not a structure at all. Corresponds to the only possible unsized field, and its type can be used to determine unsizing strategy.
This is parameterized over the normalization strategy (i.e. how to
handle <T as Trait>::Assoc
and impl Trait
); pass the identity
function to indicate no normalization should take place.
See also struct_tail_erasing_lifetimes
, which is suitable for use
during codegen.
pub fn struct_lockstep_tails_erasing_lifetimes(
self,
source: Ty<'tcx>,
target: Ty<'tcx>,
param_env: ParamEnv<'tcx>
) -> (Ty<'tcx>, Ty<'tcx>)
[src]
self,
source: Ty<'tcx>,
target: Ty<'tcx>,
param_env: ParamEnv<'tcx>
) -> (Ty<'tcx>, Ty<'tcx>)
Same as applying struct_tail
on source
and target
, but only
keeps going as long as the two types are instances of the same
structure definitions.
For (Foo<Foo<T>>, Foo<dyn Trait>)
, the result will be (Foo<T>, Trait)
,
whereas struct_tail produces T
, and Trait
, respectively.
Should only be called if the types have no inference variables and do not need their lifetimes preserved (e.g., as part of codegen); otherwise, normalization attempt may cause compiler bugs.
pub fn struct_lockstep_tails_with_normalize(
self,
source: Ty<'tcx>,
target: Ty<'tcx>,
normalize: impl Fn(Ty<'tcx>) -> Ty<'tcx>
) -> (Ty<'tcx>, Ty<'tcx>)
[src]
self,
source: Ty<'tcx>,
target: Ty<'tcx>,
normalize: impl Fn(Ty<'tcx>) -> Ty<'tcx>
) -> (Ty<'tcx>, Ty<'tcx>)
Same as applying struct_tail
on source
and target
, but only
keeps going as long as the two types are instances of the same
structure definitions.
For (Foo<Foo<T>>, Foo<dyn Trait>)
, the result will be (Foo<T>, Trait)
,
whereas struct_tail produces T
, and Trait
, respectively.
See also struct_lockstep_tails_erasing_lifetimes
, which is suitable for use
during codegen.
pub fn calculate_dtor(
self,
adt_did: DefId,
validate: impl Fn(Self, DefId) -> Result<(), ErrorReported>
) -> Option<Destructor>
[src]
self,
adt_did: DefId,
validate: impl Fn(Self, DefId) -> Result<(), ErrorReported>
) -> Option<Destructor>
Calculate the destructor of a given type.
pub fn destructor_constraints(self, def: &'tcx AdtDef) -> Vec<GenericArg<'tcx>>
[src]
Returns the set of types that are required to be alive in
order to run the destructor of def
(see RFCs 769 and
1238).
Note that this returns only the constraints for the
destructor of def
itself. For the destructors of the
contents, you need adt_dtorck_constraint
.
pub fn is_closure(self, def_id: DefId) -> bool
[src]
Returns true
if def_id
refers to a closure (e.g., |x| x * 2
). Note
that closures have a DefId
, but the closure expression also
has a HirId
that is located within the context where the
closure appears (and, sadly, a corresponding NodeId
, since
those are not yet phased out). The parent of the closure’s
DefId
will also be the context where it appears.
pub fn is_trait(self, def_id: DefId) -> bool
[src]
Returns true
if def_id
refers to a trait (i.e., trait Foo { ... }
).
pub fn is_trait_alias(self, def_id: DefId) -> bool
[src]
Returns true
if def_id
refers to a trait alias (i.e., trait Foo = ...;
),
and false
otherwise.
pub fn is_constructor(self, def_id: DefId) -> bool
[src]
Returns true
if this DefId
refers to the implicit constructor for
a tuple struct like struct Foo(u32)
, and false
otherwise.
pub fn closure_base_def_id(self, def_id: DefId) -> DefId
[src]
Given the def-ID of a fn or closure, returns the def-ID of
the innermost fn item that the closure is contained within.
This is a significant DefId
because, when we do
type-checking, we type-check this fn item and all of its
(transitive) closures together. Therefore, when we fetch the
typeck
the closure, for example, we really wind up
fetching the typeck
the enclosing fn item.
pub fn closure_env_ty(
self,
closure_def_id: DefId,
closure_substs: SubstsRef<'tcx>
) -> Option<Binder<Ty<'tcx>>>
[src]
self,
closure_def_id: DefId,
closure_substs: SubstsRef<'tcx>
) -> Option<Binder<Ty<'tcx>>>
Given the DefId
and substs a closure, creates the type of
self
argument that the closure expects. For example, for a
Fn
closure, this would return a reference type &T
where
T = closure_ty
.
Returns None
if this closure’s kind has not yet been inferred.
This should only be possible during type checking.
Note that the return value is a late-bound region and hence wrapped in a binder.
pub fn is_static(self, def_id: DefId) -> bool
[src]
Returns true
if the node pointed to by def_id
is a static
item.
pub fn is_thread_local_static(self, def_id: DefId) -> bool
[src]
Returns true
if this is a static
item with the #[thread_local]
attribute.
pub fn is_mutable_static(self, def_id: DefId) -> bool
[src]
Returns true
if the node pointed to by def_id
is a mutable static
item.
pub fn static_ptr_ty(self, def_id: DefId) -> Ty<'tcx>
[src]
Get the type of the pointer to the static that we use in MIR.
pub fn try_expand_impl_trait_type(
self,
def_id: DefId,
substs: SubstsRef<'tcx>
) -> Result<Ty<'tcx>, Ty<'tcx>>
[src]
self,
def_id: DefId,
substs: SubstsRef<'tcx>
) -> Result<Ty<'tcx>, Ty<'tcx>>
Expands the given impl trait type, stopping if the type is recursive.
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn typeck_opt_const_arg(
self,
def: WithOptConstParam<LocalDefId>
) -> &'tcx TypeckResults<'tcx>
[src]
self,
def: WithOptConstParam<LocalDefId>
) -> &'tcx TypeckResults<'tcx>
pub fn alloc_steal_mir(self, mir: Body<'tcx>) -> &'tcx Steal<Body<'tcx>>
[src]
pub fn alloc_steal_promoted(
self,
promoted: IndexVec<Promoted, Body<'tcx>>
) -> &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>
[src]
self,
promoted: IndexVec<Promoted, Body<'tcx>>
) -> &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>
pub fn alloc_adt_def(
self,
did: DefId,
kind: AdtKind,
variants: IndexVec<VariantIdx, VariantDef>,
repr: ReprOptions
) -> &'tcx AdtDef
[src]
self,
did: DefId,
kind: AdtKind,
variants: IndexVec<VariantIdx, VariantDef>,
repr: ReprOptions
) -> &'tcx AdtDef
pub fn intern_const_alloc(self, alloc: Allocation) -> &'tcx Allocation
[src]
pub fn allocate_bytes(self, bytes: &[u8]) -> AllocId
[src]
Allocates a read-only byte or string literal for mir::interpret
.
pub fn intern_stability(self, stab: Stability) -> &'tcx Stability
[src]
pub fn intern_const_stability(
self,
stab: ConstStability
) -> &'tcx ConstStability
[src]
self,
stab: ConstStability
) -> &'tcx ConstStability
pub fn intern_layout(self, layout: Layout) -> &'tcx Layout
[src]
pub fn layout_scalar_valid_range(
self,
def_id: DefId
) -> (Bound<u128>, Bound<u128>)
[src]
self,
def_id: DefId
) -> (Bound<u128>, Bound<u128>)
Returns a range of the start/end indices specified with the
rustc_layout_scalar_valid_range
attribute.
pub fn lift<T: Lift<'tcx>>(self, value: T) -> Option<T::Lifted>
[src]
pub fn create_global_ctxt(
s: &'tcx Session,
lint_store: Lrc<dyn Any + Send + Sync>,
arena: &'tcx WorkerLocal<Arena<'tcx>>,
resolutions: ResolverOutputs,
krate: &'tcx Crate<'tcx>,
definitions: &'tcx Definitions,
dep_graph: DepGraph,
on_disk_cache: Option<OnDiskCache<'tcx>>,
queries: &'tcx dyn QueryEngine<'tcx>,
crate_name: &str,
output_filenames: &OutputFilenames
) -> GlobalCtxt<'tcx>
[src]
s: &'tcx Session,
lint_store: Lrc<dyn Any + Send + Sync>,
arena: &'tcx WorkerLocal<Arena<'tcx>>,
resolutions: ResolverOutputs,
krate: &'tcx Crate<'tcx>,
definitions: &'tcx Definitions,
dep_graph: DepGraph,
on_disk_cache: Option<OnDiskCache<'tcx>>,
queries: &'tcx dyn QueryEngine<'tcx>,
crate_name: &str,
output_filenames: &OutputFilenames
) -> GlobalCtxt<'tcx>
Creates a type context and call the closure with a TyCtxt
reference
to the context. The closure enforces that the type context and any interned
value (types, substs, etc.) can only be used while ty::tls
has a valid
reference to the context, to allow formatting values that need it.
pub fn ty_error(self) -> Ty<'tcx>
[src]
Constructs a TyKind::Error
type and registers a delay_span_bug
to ensure it gets used.
pub fn ty_error_with_message<S: Into<MultiSpan>>(
self,
span: S,
msg: &str
) -> Ty<'tcx>
[src]
self,
span: S,
msg: &str
) -> Ty<'tcx>
Constructs a TyKind::Error
type and registers a delay_span_bug
with the given msg
to
ensure it gets used.
pub fn const_error(self, ty: Ty<'tcx>) -> &'tcx Const<'tcx>
[src]
Like err
but for constants.
pub fn consider_optimizing<T: Fn() -> String>(self, msg: T) -> bool
[src]
pub fn lib_features(self) -> &'tcx LibFeatures
[src]
pub fn lang_items(self) -> &'tcx LanguageItems
[src]
Obtain all lang items of this crate and all dependencies (recursively)
pub fn get_diagnostic_item(self, name: Symbol) -> Option<DefId>
[src]
Obtain the given diagnostic item’s DefId
. Use is_diagnostic_item
if you just want to
compare against another DefId
, since is_diagnostic_item
is cheaper.
pub fn is_diagnostic_item(self, name: Symbol, did: DefId) -> bool
[src]
Check whether the diagnostic item with the given name
has the given DefId
.
pub fn stability(self) -> &'tcx Index<'tcx>
[src]
pub fn crates(self) -> &'tcx [CrateNum]ⓘ
[src]
pub fn allocator_kind(self) -> Option<AllocatorKind>
[src]
pub fn features(self) -> &'tcx Features
[src]
pub fn def_key(self, id: DefId) -> DefKey
[src]
pub fn def_path(self, id: DefId) -> DefPath
[src]
Converts a DefId
into its fully expanded DefPath
(every
DefId
is really just an interned DefPath
).
Note that if id
is not local to this crate, the result will
be a non-local DefPath
.
pub fn is_private_dep(self, cnum: CrateNum) -> bool
[src]
Returns whether or not the crate with CrateNum ‘cnum’ is marked as a private dependency
pub fn def_path_hash(self, def_id: DefId) -> DefPathHash
[src]
pub fn def_path_debug_str(self, def_id: DefId) -> String
[src]
pub fn metadata_encoding_version(self) -> Vec<u8>
[src]
pub fn encode_metadata(self) -> EncodedMetadata
[src]
pub fn cstore_as_any(self) -> &'tcx dyn Any
[src]
pub fn create_stable_hashing_context(self) -> StableHashingContext<'tcx>
[src]
pub fn create_no_span_stable_hashing_context(self) -> StableHashingContext<'tcx>
[src]
pub fn serialize_query_result_cache(
self,
encoder: &mut FileEncoder
) -> FileEncodeResult
[src]
self,
encoder: &mut FileEncoder
) -> FileEncodeResult
pub fn migrate_borrowck(self) -> bool
[src]
If true
, we should use the MIR-based borrowck, but also
fall back on the AST borrowck if the MIR-based one errors.
pub fn borrowck_mode(self) -> BorrowckMode
[src]
What mode(s) of borrowck should we run? AST? MIR? both?
(Also considers the #![feature(nll)]
setting.)
pub fn lazy_normalization(self) -> bool
[src]
If true
, we should use lazy normalization for constants, otherwise
we still evaluate them eagerly.
pub fn local_crate_exports_generics(self) -> bool
[src]
pub fn is_suitable_region(self, region: Region<'tcx>) -> Option<FreeRegionInfo>
[src]
pub fn return_type_impl_or_dyn_traits(
self,
scope_def_id: LocalDefId
) -> Vec<&'tcx Ty<'tcx>>
[src]
self,
scope_def_id: LocalDefId
) -> Vec<&'tcx Ty<'tcx>>
Given a DefId
for an fn
, return all the dyn
and impl
traits in its return type.
pub fn return_type_impl_trait(
self,
scope_def_id: LocalDefId
) -> Option<(Ty<'tcx>, Span)>
[src]
self,
scope_def_id: LocalDefId
) -> Option<(Ty<'tcx>, Span)>
pub fn is_bound_region_in_impl_item(
self,
suitable_region_binding_scope: LocalDefId
) -> bool
[src]
self,
suitable_region_binding_scope: LocalDefId
) -> bool
pub fn has_strict_asm_symbol_naming(self) -> bool
[src]
Determines whether identifiers in the assembly have strict naming rules. Currently, only NVPTX* targets need it.
pub fn caller_location_ty(self) -> Ty<'tcx>
[src]
Returns &'static core::panic::Location<'static>
.
pub fn article_and_description(
self,
def_id: DefId
) -> (&'static str, &'static str)
[src]
self,
def_id: DefId
) -> (&'static str, &'static str)
Returns a displayable description and article for the given def_id
(e.g. ("a", "struct")
).
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn debug_stats(self) -> impl Debug + 'tcx
[src]
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn mk_region(self, v: RegionKind) -> &'tcx RegionKind
[src]
impl<'tcx> TyCtxt<'tcx>
[src]
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn _intern_type_list(self, v: &[Ty<'tcx>]) -> &'tcx List<Ty<'tcx>>
[src]
pub fn _intern_substs(
self,
v: &[GenericArg<'tcx>]
) -> &'tcx List<GenericArg<'tcx>>
[src]
self,
v: &[GenericArg<'tcx>]
) -> &'tcx List<GenericArg<'tcx>>
pub fn _intern_canonical_var_infos(
self,
v: &[CanonicalVarInfo<'tcx>]
) -> &'tcx List<CanonicalVarInfo<'tcx>>
[src]
self,
v: &[CanonicalVarInfo<'tcx>]
) -> &'tcx List<CanonicalVarInfo<'tcx>>
pub fn _intern_poly_existential_predicates(
self,
v: &[Binder<ExistentialPredicate<'tcx>>]
) -> &'tcx List<Binder<ExistentialPredicate<'tcx>>>
[src]
self,
v: &[Binder<ExistentialPredicate<'tcx>>]
) -> &'tcx List<Binder<ExistentialPredicate<'tcx>>>
pub fn _intern_predicates(
self,
v: &[Predicate<'tcx>]
) -> &'tcx List<Predicate<'tcx>>
[src]
self,
v: &[Predicate<'tcx>]
) -> &'tcx List<Predicate<'tcx>>
pub fn _intern_projs(self, v: &[ProjectionKind]) -> &'tcx List<ProjectionKind>
[src]
pub fn _intern_place_elems(
self,
v: &[PlaceElem<'tcx>]
) -> &'tcx List<PlaceElem<'tcx>>
[src]
self,
v: &[PlaceElem<'tcx>]
) -> &'tcx List<PlaceElem<'tcx>>
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn safe_to_unsafe_fn_ty(self, sig: PolyFnSig<'tcx>) -> Ty<'tcx>
[src]
Given a fn
type, returns an equivalent unsafe fn
type;
that is, a fn
type that is equivalent in every way for being
unsafe.
pub fn trait_may_define_assoc_type(
self,
trait_def_id: DefId,
assoc_name: Ident
) -> bool
[src]
self,
trait_def_id: DefId,
assoc_name: Ident
) -> bool
Given the def_id of a Trait trait_def_id
and the name of an associated item assoc_name
returns true if the trait_def_id
defines an associated item of name assoc_name
.
fn super_traits_of(
self,
trait_def_id: DefId
) -> impl Iterator<Item = DefId> + 'tcx
[src]
self,
trait_def_id: DefId
) -> impl Iterator<Item = DefId> + 'tcx
Computes the def-ids of the transitive super-traits of trait_def_id
. This (intentionally)
does not compute the full elaborated super-predicates but just the set of def-ids. It is used
to identify which traits may define a given associated type to help avoid cycle errors.
Returns a DefId
iterator.
pub fn signature_unclosure(
self,
sig: PolyFnSig<'tcx>,
unsafety: Unsafety
) -> PolyFnSig<'tcx>
[src]
self,
sig: PolyFnSig<'tcx>,
unsafety: Unsafety
) -> PolyFnSig<'tcx>
Given a closure signature, returns an equivalent fn signature. Detuples
and so forth – so e.g., if we have a sig with Fn<(u32, i32)>
then
you would get a fn(u32, i32)
.
unsafety
determines the unsafety of the fn signature. If you pass
hir::Unsafety::Unsafe
in the previous example, then you would get
an unsafe fn (u32, i32)
.
It cannot convert a closure that requires unsafe.
pub fn reuse_or_mk_region(
self,
r: Region<'tcx>,
kind: RegionKind
) -> Region<'tcx>
[src]
self,
r: Region<'tcx>,
kind: RegionKind
) -> Region<'tcx>
Same a self.mk_region(kind)
, but avoids accessing the interners if
*r == kind
.
pub fn mk_ty(self, st: TyKind<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_predicate(
self,
binder: Binder<PredicateKind<'tcx>>
) -> Predicate<'tcx>
[src]
self,
binder: Binder<PredicateKind<'tcx>>
) -> Predicate<'tcx>
pub fn reuse_or_mk_predicate(
self,
pred: Predicate<'tcx>,
binder: Binder<PredicateKind<'tcx>>
) -> Predicate<'tcx>
[src]
self,
pred: Predicate<'tcx>,
binder: Binder<PredicateKind<'tcx>>
) -> Predicate<'tcx>
pub fn mk_mach_int(self, tm: IntTy) -> Ty<'tcx>
[src]
pub fn mk_mach_uint(self, tm: UintTy) -> Ty<'tcx>
[src]
pub fn mk_mach_float(self, tm: FloatTy) -> Ty<'tcx>
[src]
pub fn mk_static_str(self) -> Ty<'tcx>
[src]
pub fn mk_adt(self, def: &'tcx AdtDef, substs: SubstsRef<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_foreign(self, def_id: DefId) -> Ty<'tcx>
[src]
fn mk_generic_adt(self, wrapper_def_id: DefId, ty_param: Ty<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_box(self, ty: Ty<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_lang_item(self, ty: Ty<'tcx>, item: LangItem) -> Option<Ty<'tcx>>
[src]
pub fn mk_diagnostic_item(self, ty: Ty<'tcx>, name: Symbol) -> Option<Ty<'tcx>>
[src]
pub fn mk_maybe_uninit(self, ty: Ty<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_ptr(self, tm: TypeAndMut<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_ref(self, r: Region<'tcx>, tm: TypeAndMut<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_mut_ref(self, r: Region<'tcx>, ty: Ty<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_imm_ref(self, r: Region<'tcx>, ty: Ty<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_mut_ptr(self, ty: Ty<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_imm_ptr(self, ty: Ty<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_nil_ptr(self) -> Ty<'tcx>
[src]
pub fn mk_array(self, ty: Ty<'tcx>, n: u64) -> Ty<'tcx>
[src]
pub fn mk_slice(self, ty: Ty<'tcx>) -> Ty<'tcx>
[src]
pub fn intern_tup(self, ts: &[Ty<'tcx>]) -> Ty<'tcx>
[src]
pub fn mk_tup<I: InternAs<[Ty<'tcx>], Ty<'tcx>>>(self, iter: I) -> I::Output
[src]
pub fn mk_unit(self) -> Ty<'tcx>
[src]
pub fn mk_diverging_default(self) -> Ty<'tcx>
[src]
pub fn mk_fn_def(self, def_id: DefId, substs: SubstsRef<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_fn_ptr(self, fty: PolyFnSig<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_dynamic(
self,
obj: &'tcx List<Binder<ExistentialPredicate<'tcx>>>,
reg: Region<'tcx>
) -> Ty<'tcx>
[src]
self,
obj: &'tcx List<Binder<ExistentialPredicate<'tcx>>>,
reg: Region<'tcx>
) -> Ty<'tcx>
pub fn mk_projection(
self,
item_def_id: DefId,
substs: SubstsRef<'tcx>
) -> Ty<'tcx>
[src]
self,
item_def_id: DefId,
substs: SubstsRef<'tcx>
) -> Ty<'tcx>
pub fn mk_closure(
self,
closure_id: DefId,
closure_substs: SubstsRef<'tcx>
) -> Ty<'tcx>
[src]
self,
closure_id: DefId,
closure_substs: SubstsRef<'tcx>
) -> Ty<'tcx>
pub fn mk_generator(
self,
id: DefId,
generator_substs: SubstsRef<'tcx>,
movability: Movability
) -> Ty<'tcx>
[src]
self,
id: DefId,
generator_substs: SubstsRef<'tcx>,
movability: Movability
) -> Ty<'tcx>
pub fn mk_generator_witness(
self,
types: Binder<&'tcx List<Ty<'tcx>>>
) -> Ty<'tcx>
[src]
self,
types: Binder<&'tcx List<Ty<'tcx>>>
) -> Ty<'tcx>
pub fn mk_ty_var(self, v: TyVid) -> Ty<'tcx>
[src]
pub fn mk_const_var(self, v: ConstVid<'tcx>, ty: Ty<'tcx>) -> &'tcx Const<'tcx>
[src]
pub fn mk_int_var(self, v: IntVid) -> Ty<'tcx>
[src]
pub fn mk_float_var(self, v: FloatVid) -> Ty<'tcx>
[src]
pub fn mk_ty_infer(self, it: InferTy) -> Ty<'tcx>
[src]
pub fn mk_const_infer(
self,
ic: InferConst<'tcx>,
ty: Ty<'tcx>
) -> &'tcx Const<'tcx>
[src]
self,
ic: InferConst<'tcx>,
ty: Ty<'tcx>
) -> &'tcx Const<'tcx>
pub fn mk_ty_param(self, index: u32, name: Symbol) -> Ty<'tcx>
[src]
pub fn mk_const_param(
self,
index: u32,
name: Symbol,
ty: Ty<'tcx>
) -> &'tcx Const<'tcx>
[src]
self,
index: u32,
name: Symbol,
ty: Ty<'tcx>
) -> &'tcx Const<'tcx>
pub fn mk_param_from_def(self, param: &GenericParamDef) -> GenericArg<'tcx>
[src]
pub fn mk_opaque(self, def_id: DefId, substs: SubstsRef<'tcx>) -> Ty<'tcx>
[src]
pub fn mk_place_field(
self,
place: Place<'tcx>,
f: Field,
ty: Ty<'tcx>
) -> Place<'tcx>
[src]
self,
place: Place<'tcx>,
f: Field,
ty: Ty<'tcx>
) -> Place<'tcx>
pub fn mk_place_deref(self, place: Place<'tcx>) -> Place<'tcx>
[src]
pub fn mk_place_downcast(
self,
place: Place<'tcx>,
adt_def: &'tcx AdtDef,
variant_index: VariantIdx
) -> Place<'tcx>
[src]
self,
place: Place<'tcx>,
adt_def: &'tcx AdtDef,
variant_index: VariantIdx
) -> Place<'tcx>
pub fn mk_place_downcast_unnamed(
self,
place: Place<'tcx>,
variant_index: VariantIdx
) -> Place<'tcx>
[src]
self,
place: Place<'tcx>,
variant_index: VariantIdx
) -> Place<'tcx>
pub fn mk_place_index(self, place: Place<'tcx>, index: Local) -> Place<'tcx>
[src]
pub fn mk_place_elem(
self,
place: Place<'tcx>,
elem: PlaceElem<'tcx>
) -> Place<'tcx>
[src]
self,
place: Place<'tcx>,
elem: PlaceElem<'tcx>
) -> Place<'tcx>
This method copies Place
’s projection, add an element and reintern it. Should not be used
to build a full Place
it’s just a convenient way to grab a projection and modify it in
flight.
pub fn intern_poly_existential_predicates(
self,
eps: &[Binder<ExistentialPredicate<'tcx>>]
) -> &'tcx List<Binder<ExistentialPredicate<'tcx>>>
[src]
self,
eps: &[Binder<ExistentialPredicate<'tcx>>]
) -> &'tcx List<Binder<ExistentialPredicate<'tcx>>>
pub fn intern_predicates(
self,
preds: &[Predicate<'tcx>]
) -> &'tcx List<Predicate<'tcx>>
[src]
self,
preds: &[Predicate<'tcx>]
) -> &'tcx List<Predicate<'tcx>>
pub fn intern_type_list(self, ts: &[Ty<'tcx>]) -> &'tcx List<Ty<'tcx>>
[src]
pub fn intern_substs(
self,
ts: &[GenericArg<'tcx>]
) -> &'tcx List<GenericArg<'tcx>>
[src]
self,
ts: &[GenericArg<'tcx>]
) -> &'tcx List<GenericArg<'tcx>>
pub fn intern_projs(self, ps: &[ProjectionKind]) -> &'tcx List<ProjectionKind>
[src]
pub fn intern_place_elems(
self,
ts: &[PlaceElem<'tcx>]
) -> &'tcx List<PlaceElem<'tcx>>
[src]
self,
ts: &[PlaceElem<'tcx>]
) -> &'tcx List<PlaceElem<'tcx>>
pub fn intern_canonical_var_infos(
self,
ts: &[CanonicalVarInfo<'tcx>]
) -> CanonicalVarInfos<'tcx>
[src]
self,
ts: &[CanonicalVarInfo<'tcx>]
) -> CanonicalVarInfos<'tcx>
pub fn mk_fn_sig<I>(
self,
inputs: I,
output: I::Item,
c_variadic: bool,
unsafety: Unsafety,
abi: Abi
) -> <<I as Iterator>::Item as InternIteratorElement<&'tcx TyS<'tcx>, FnSig<'tcx>>>::Output where
I: Iterator<Item: InternIteratorElement<Ty<'tcx>, FnSig<'tcx>>>,
[src]
self,
inputs: I,
output: I::Item,
c_variadic: bool,
unsafety: Unsafety,
abi: Abi
) -> <<I as Iterator>::Item as InternIteratorElement<&'tcx TyS<'tcx>, FnSig<'tcx>>>::Output where
I: Iterator<Item: InternIteratorElement<Ty<'tcx>, FnSig<'tcx>>>,
pub fn mk_poly_existential_predicates<I: InternAs<[Binder<ExistentialPredicate<'tcx>>], &'tcx List<Binder<ExistentialPredicate<'tcx>>>>>(
self,
iter: I
) -> I::Output
[src]
self,
iter: I
) -> I::Output
pub fn mk_predicates<I: InternAs<[Predicate<'tcx>], &'tcx List<Predicate<'tcx>>>>(
self,
iter: I
) -> I::Output
[src]
self,
iter: I
) -> I::Output
pub fn mk_type_list<I: InternAs<[Ty<'tcx>], &'tcx List<Ty<'tcx>>>>(
self,
iter: I
) -> I::Output
[src]
self,
iter: I
) -> I::Output
pub fn mk_substs<I: InternAs<[GenericArg<'tcx>], &'tcx List<GenericArg<'tcx>>>>(
self,
iter: I
) -> I::Output
[src]
self,
iter: I
) -> I::Output
pub fn mk_place_elems<I: InternAs<[PlaceElem<'tcx>], &'tcx List<PlaceElem<'tcx>>>>(
self,
iter: I
) -> I::Output
[src]
self,
iter: I
) -> I::Output
pub fn mk_substs_trait(
self,
self_ty: Ty<'tcx>,
rest: &[GenericArg<'tcx>]
) -> SubstsRef<'tcx>
[src]
self,
self_ty: Ty<'tcx>,
rest: &[GenericArg<'tcx>]
) -> SubstsRef<'tcx>
pub fn maybe_lint_level_root_bounded(self, id: HirId, bound: HirId) -> HirId
[src]
Walks upwards from id
to find a node which might change lint levels with attributes.
It stops at bound
and just returns it if reached.
pub fn lint_level_at_node(
self,
lint: &'static Lint,
id: HirId
) -> (Level, LintLevelSource)
[src]
self,
lint: &'static Lint,
id: HirId
) -> (Level, LintLevelSource)
pub fn struct_span_lint_hir(
self,
lint: &'static Lint,
hir_id: HirId,
span: impl Into<MultiSpan>,
decorate: impl for<'a> FnOnce(LintDiagnosticBuilder<'a>)
)
[src]
self,
lint: &'static Lint,
hir_id: HirId,
span: impl Into<MultiSpan>,
decorate: impl for<'a> FnOnce(LintDiagnosticBuilder<'a>)
)
pub fn struct_lint_node(
self,
lint: &'static Lint,
id: HirId,
decorate: impl for<'a> FnOnce(LintDiagnosticBuilder<'a>)
)
[src]
self,
lint: &'static Lint,
id: HirId,
decorate: impl for<'a> FnOnce(LintDiagnosticBuilder<'a>)
)
pub fn in_scope_traits(
self,
id: HirId
) -> Option<&'tcx StableVec<TraitCandidate>>
[src]
self,
id: HirId
) -> Option<&'tcx StableVec<TraitCandidate>>
pub fn named_region(self, id: HirId) -> Option<Region>
[src]
pub fn is_late_bound(self, id: HirId) -> bool
[src]
pub fn object_lifetime_defaults(
self,
id: HirId
) -> Option<&'tcx [ObjectLifetimeDefault]>
[src]
self,
id: HirId
) -> Option<&'tcx [ObjectLifetimeDefault]>
impl<'tcx> TyCtxt<'tcx>
[src]
pub fn typeck_body(self, body: BodyId) -> &'tcx TypeckResults<'tcx>
[src]
pub fn body_owners(
self
) -> impl Iterator<Item = LocalDefId> + Captures<'tcx> + 'tcx
[src]
self
) -> impl Iterator<Item = LocalDefId> + Captures<'tcx> + 'tcx
Returns an iterator of the DefId
s for all body-owners in this
crate. If you would prefer to iterate over the bodies
themselves, you can do self.hir().krate().body_ids.iter()
.
pub fn par_body_owners<F: Fn(LocalDefId) + Sync + Send>(self, f: F)
[src]
pub fn provided_trait_methods(
self,
id: DefId
) -> impl 'tcx + Iterator<Item = &'tcx AssocItem>
[src]
self,
id: DefId
) -> impl 'tcx + Iterator<Item = &'tcx AssocItem>
fn item_name_from_hir(self, def_id: DefId) -> Option<Ident>
[src]
fn item_name_from_def_id(self, def_id: DefId) -> Option<Symbol>
[src]
pub fn item_name(self, id: DefId) -> Symbol
[src]
Look up the name of an item across crates. This does not look at HIR.
When possible, this function should be used for cross-crate lookups over
opt_item_name
to avoid invalidating the incremental cache. If you
need to handle items without a name, or HIR items that will not be
serialized cross-crate, or if you need the span of the item, use
opt_item_name
instead.
pub fn opt_item_name(self, def_id: DefId) -> Option<Ident>
[src]
pub fn opt_associated_item(self, def_id: DefId) -> Option<&'tcx AssocItem>
[src]
pub fn field_index(
self,
hir_id: HirId,
typeck_results: &TypeckResults<'_>
) -> usize
[src]
self,
hir_id: HirId,
typeck_results: &TypeckResults<'_>
) -> usize
pub fn find_field_index(
self,
ident: Ident,
variant: &VariantDef
) -> Option<usize>
[src]
self,
ident: Ident,
variant: &VariantDef
) -> Option<usize>
pub fn impls_are_allowed_to_overlap(
self,
def_id1: DefId,
def_id2: DefId
) -> Option<ImplOverlapKind>
[src]
self,
def_id1: DefId,
def_id2: DefId
) -> Option<ImplOverlapKind>
Returns true
if the impls are the same polarity and the trait either
has no items or is annotated #[marker]
and prevents item overrides.
pub fn expect_variant_res(self, res: Res) -> &'tcx VariantDef
[src]
Returns ty::VariantDef
if res
refers to a struct,
or variant or their constructors, panics otherwise.
pub fn instance_mir(self, instance: InstanceDef<'tcx>) -> &'tcx Body<'tcx>
[src]
Returns the possibly-auto-generated MIR of a (DefId, Subst)
pair.
pub fn get_attrs(self, did: DefId) -> Attributes<'tcx>
[src]
Gets the attributes of a definition.
pub fn has_attr(self, did: DefId, attr: Symbol) -> bool
[src]
Determines whether an item is annotated with an attribute.
pub fn trait_is_auto(self, trait_def_id: DefId) -> bool
[src]
Returns true
if this is an auto trait
.
pub fn generator_layout(
self,
def_id: DefId
) -> Option<&'tcx GeneratorLayout<'tcx>>
[src]
self,
def_id: DefId
) -> Option<&'tcx GeneratorLayout<'tcx>>
Returns layout of a generator. Layout might be unavailable if the generator is tainted by errors.
pub fn trait_id_of_impl(self, def_id: DefId) -> Option<DefId>
[src]
Given the DefId
of an impl, returns the DefId
of the trait it implements.
If it implements no trait, returns None
.
pub fn impl_of_method(self, def_id: DefId) -> Option<DefId>
[src]
If the given defid describes a method belonging to an impl, returns the
DefId
of the impl that the method belongs to; otherwise, returns None
.
pub fn span_of_impl(self, impl_did: DefId) -> Result<Span, Symbol>
[src]
Looks up the span of impl_did
if the impl is local; otherwise returns Err
with the name of the crate containing the impl.
pub fn hygienic_eq(
self,
use_name: Ident,
def_name: Ident,
def_parent_def_id: DefId
) -> bool
[src]
self,
use_name: Ident,
def_name: Ident,
def_parent_def_id: DefId
) -> bool
Hygienically compares a use-site name (use_name
) for a field or an associated item with
its supposed definition name (def_name
). The method also needs DefId
of the supposed
definition’s parent/scope to perform comparison.
pub fn expansion_that_defined(self, scope: DefId) -> ExpnId
[src]
pub fn adjust_ident(self, ident: Ident, scope: DefId) -> Ident
[src]
pub fn adjust_ident_and_get_scope(
self,
ident: Ident,
scope: DefId,
block: HirId
) -> (Ident, DefId)
[src]
self,
ident: Ident,
scope: DefId,
block: HirId
) -> (Ident, DefId)
pub fn is_object_safe(self, key: DefId) -> bool
[src]
Trait Implementations
impl<'tcx> Clone for TyCtxt<'tcx>
[src]
impl<'tcx> Copy for TyCtxt<'tcx>
[src]
impl<'tcx> DefIdTree for TyCtxt<'tcx>
[src]
fn parent(self, id: DefId) -> Option<DefId>
[src]
fn is_descendant_of(self, descendant: DefId, ancestor: DefId) -> bool
[src]
impl<'tcx> DepContext for TyCtxt<'tcx>
[src]
type DepKind = DepKind
type StableHashingContext = StableHashingContext<'tcx>
fn register_reused_dep_node(&self, dep_node: &DepNode)
[src]
fn create_stable_hashing_context(&self) -> Self::StableHashingContext
[src]
fn debug_dep_tasks(&self) -> bool
[src]
fn debug_dep_node(&self) -> bool
[src]
fn dep_graph(&self) -> &DepGraph
[src]
fn profiler(&self) -> &SelfProfilerRef
[src]
impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for ()
[src]
fn can_reconstruct_query_key() -> bool
[src]
fn to_fingerprint(&self, _: TyCtxt<'tcx>) -> Fingerprint
[src]
fn recover(_: TyCtxt<'tcx>, _: &DepNode) -> Option<Self>
[src]
pub fn to_debug_str(&self, Ctxt) -> String
[src]
impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for DefId
[src]
fn can_reconstruct_query_key() -> bool
[src]
fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint
[src]
fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String
[src]
fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self>
[src]
impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for LocalDefId
[src]
fn can_reconstruct_query_key() -> bool
[src]
fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint
[src]
fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String
[src]
fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self>
[src]
impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for CrateNum
[src]
fn can_reconstruct_query_key() -> bool
[src]
fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint
[src]
fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String
[src]
fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self>
[src]
impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for (DefId, DefId)
[src]
fn can_reconstruct_query_key() -> bool
[src]
fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint
[src]
fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String
[src]
pub fn recover(
tcx: Ctxt,
dep_node: &DepNode<<Ctxt as DepContext>::DepKind>
) -> Option<Self>
[src]
tcx: Ctxt,
dep_node: &DepNode<<Ctxt as DepContext>::DepKind>
) -> Option<Self>
impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for HirId
[src]
fn can_reconstruct_query_key() -> bool
[src]
fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint
[src]
pub fn to_debug_str(&self, Ctxt) -> String
[src]
pub fn recover(
tcx: Ctxt,
dep_node: &DepNode<<Ctxt as DepContext>::DepKind>
) -> Option<Self>
[src]
tcx: Ctxt,
dep_node: &DepNode<<Ctxt as DepContext>::DepKind>
) -> Option<Self>
impl<'tcx> Deref for TyCtxt<'tcx>
[src]
type Target = &'tcx GlobalCtxt<'tcx>
The resulting type after dereferencing.
fn deref(&self) -> &Self::Target
[src]
impl<'tcx> HasDataLayout for TyCtxt<'tcx>
[src]
fn data_layout(&self) -> &TargetDataLayout
[src]
impl<'tcx> HasTyCtxt<'tcx> for TyCtxt<'tcx>
[src]
impl<'tcx> StableHashingContextProvider<'tcx> for TyCtxt<'tcx>
[src]
fn get_stable_hashing_context(&self) -> StableHashingContext<'tcx>
[src]
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for TyCtxt<'tcx>
impl<'tcx> !Send for TyCtxt<'tcx>
impl<'tcx> !Sync for TyCtxt<'tcx>
impl<'tcx> Unpin for TyCtxt<'tcx>
impl<'tcx> !UnwindSafe for TyCtxt<'tcx>
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<'tcx, T> ArenaAllocatable<'tcx, ()> for T where
T: Copy,
[src]
T: Copy,
pub fn allocate_on(Self, &'a Arena<'tcx>) -> &'a mut T
[src]
pub fn allocate_from_iter(
&'a Arena<'tcx>,
impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘ
[src]
&'a Arena<'tcx>,
impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘ
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<'a, T> Captures<'a> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> MaybeResult<T> for T
[src]
type Error = !
pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T
[src]
pub fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.