Module util 

Miscellaneous type-system utilities that are too small to deserve their own modules.

Re-exports

use std::fmt; 🔒

use std::iter; 🔒

use rustc_abi::Float; 🔒

use rustc_abi::Integer; 🔒

use rustc_abi::IntegerType; 🔒

use rustc_abi::Size; 🔒

use rustc_apfloat::Float as _; 🔒

use rustc_attr_ir::NotableTraitColor; 🔒

use rustc_attr_ir::find_attr; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_data_structures::stable_hash::StableHash; 🔒

use rustc_data_structures::stable_hash::StableHasher; 🔒

use rustc_errors::ErrorGuaranteed; 🔒

use rustc_hashes::Hash128; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::def::CtorOf; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def::Res; 🔒

use rustc_hir::def_id::CrateNum; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_index::bit_set::GrowableBitSet; 🔒

use rustc_macros::StableHash; 🔒

use rustc_macros::TyDecodable; 🔒

use rustc_macros::TyEncodable; 🔒

use rustc_macros::extension; 🔒

use rustc_span::bug; 🔒

use rustc_span::span_bug; 🔒

use rustc_span::sym; 🔒

use rustc_structures::Limit; 🔒

use rustc_type_ir::PredicateProxy; 🔒

use rustc_type_ir::solve::SizedTraitKind; 🔒

use smallvec::SmallVec; 🔒

use smallvec::smallvec; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::TypingEnv; 🔒

use crate::middle::codegen_fn_attrs::CodegenFnAttrFlags; 🔒

use crate::mir; 🔒

use crate::query::Providers; 🔒

use crate::traits::ObligationCause; 🔒

use crate::ty::layout::FloatExt; 🔒

use crate::ty::layout::IntegerExt; 🔒

use crate::ty; 🔒

use crate::ty::Asyncness; 🔒

use crate::ty::FallibleTypeFolder; 🔒

use crate::ty::GenericArgKind; 🔒

use crate::ty::GenericArgs; 🔒

use crate::ty::Ty; 🔒

use crate::ty::TyCtxt; 🔒

use crate::ty::TypeFoldable; 🔒

use crate::ty::TypeFoldable; 🔒

use crate::ty::TypeFolder; 🔒

use crate::ty::TypeSuperFoldable; 🔒

use crate::ty::TypeVisitableExt; 🔒

use crate::ty::Unnormalized; 🔒

Structs

AlwaysRequiresDrop

Discr

FreeAliasTypeExpander 🔒

OpaqueTypeExpander 🔒

Enums

CheckRegions

Used as an input to TyCtxt::uses_unique_generic_params.

NotUniqueParam

Traits

IntTypeExt

Functions

doc_notable_trait

Determines whether an item is annotated with doc(notable_trait).

fold_list

Does the equivalent of

intrinsic_raw

Determines whether an item is an intrinsic (which may be via Abi or via the rustc_intrinsic attribute).

is_doc_hidden 🔒

Determines whether an item is directly annotated with doc(hidden).

needs_drop_components

Returns a list of types such that the given type needs drop if and only if any of the returned types need drop. Returns Err(AlwaysRequiresDrop) if this type always needs drop.

needs_drop_components_with_async

Returns a list of types such that the given type needs drop if and only if any of the returned types need drop. Returns Err(AlwaysRequiresDrop) if this type always needs drop.

provide

reveal_opaque_types_in_bounds

Reveals all opaque types in the given value, replacing them with their underlying types.

try_fold_list

Does the equivalent of