Module ty 

Re-exports

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_index::bit_set::DenseBitSet; 🔒

use rustc_infer::infer::TyCtxtInferExt; 🔒

use rustc_middle::query::Providers; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::SizedTraitKind; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeSuperVisitable; 🔒

use rustc_middle::ty::TypeVisitable; 🔒

use rustc_middle::ty::TypeVisitor; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_middle::ty::Upcast; 🔒

use rustc_middle::ty::fold_regions; 🔒

use rustc_span::def_id::CRATE_DEF_ID; 🔒

use rustc_span::def_id::DefId; 🔒

use rustc_span::def_id::LocalDefId; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::bug; 🔒

use rustc_trait_selection::traits; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

Structs

ImplTraitInTraitFinder 🔒

Walk through a function type, gathering all RPITITs and installing a NormalizesTo(Projection(RPITIT) -> Opaque(RPITIT)) predicate into the predicates list. This allows us to observe that an RPITIT projects to its corresponding opaque within the body of a default-body trait method.

Functions

adt_sizedness_constraint 🔒

Returns the type of the last field of a struct (“the constraint”) which must implement the sizedness trait for the whole ADT to be considered to implement that sizedness trait. def_id is assumed to be the AdtDef of a struct and will panic otherwise.

asyncness 🔒

Check if a function is async.

defaultness 🔒

impl_self_is_guaranteed_unsized 🔒

param_env 🔒

See ParamEnv struct definition for details.

param_env_normalized_for_post_analysis 🔒

provide 🔒

sizedness_constraint_for_ty 🔒

If ty implements the given sizedness trait, returns None. Otherwise, returns the type that must implement the given sizedness for ty to implement it.

unsizing_params_for_adt 🔒