Module typeck_results 

Re-exports

use std::collections::hash_map::Entry; 🔒

use std::hash::Hash; 🔒

use std::hash::Hash; 🔒

use std::iter; 🔒

use rustc_abi::FieldIdx; 🔒

use rustc_abi::VariantIdx; 🔒

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_data_structures::unord::ExtendUnord; 🔒

use rustc_data_structures::unord::UnordItems; 🔒

use rustc_data_structures::unord::UnordSet; 🔒

use rustc_errors::ErrorGuaranteed; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def::Res; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_hir::def_id::LocalDefIdMap; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::BindingMode; 🔒

use rustc_hir::ByRef; 🔒

use rustc_hir::HirId; 🔒

use rustc_hir::ItemLocalId; 🔒

use rustc_hir::ItemLocalMap; 🔒

use rustc_hir::ItemLocalSet; 🔒

use rustc_hir::Mutability; 🔒

use rustc_hir::OwnerId; 🔒

use rustc_index::IndexVec; 🔒

use rustc_macros::Lift; 🔒

use rustc_macros::StableHash; 🔒

use rustc_macros::TyDecodable; 🔒

use rustc_macros::TyEncodable; 🔒

use rustc_macros::TypeFoldable; 🔒

use rustc_macros::TypeVisitable; 🔒

use rustc_session::Session; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use crate::hir::place::Place as HirPlace; 🔒

use crate::infer::canonical::Canonical; 🔒

use crate::mir::FakeReadCause; 🔒

use crate::thir::DerefPatBorrowMode; 🔒

use crate::traits::ObligationCause; 🔒

use crate::ty; 🔒

use crate::ty::BoundVar; 🔒

use crate::ty::CanonicalPolyFnSig; 🔒

use crate::ty::ClosureSizeProfileData; 🔒

use crate::ty::GenericArgKind; 🔒

use crate::ty::GenericArgs; 🔒

use crate::ty::Ty; 🔒

use crate::ty::UserArgs; 🔒

use crate::ty::tls; 🔒

Structs

CanonicalUserTypeAnnotation

LocalSetInContext

LocalSetInContextMut

LocalTableInContext

LocalTableInContextMut

Rust2024IncompatiblePatInfo

Information on a pattern incompatible with Rust 2024, for use by the error/migration diagnostic emitted during THIR construction.

TypeckResults

UserType

UserTypeAnnotationIndex

Enums

SplattedDef

A resolved splatted function call.

UserTypeKind

A user-given type annotation attached to a constant. These arise from constants that are named via paths, like Foo::<A>::new and so forth.

Constants

START_INDEX

Traits

IsIdentity

Functions

invalid_hir_id_for_typeck_results 🔒

validate_hir_id_for_typeck_results 🔒

Validate that the given HirId (respectively its local_id part) can be safely used as a key in the maps of a TypeckResults. For that to be the case, the HirId must have the same owner as all the other IDs in this table (signified by hir_owner). Otherwise the HirId would be in a different frame of reference and using its local_id would result in lookup errors, or worse, in silently wrong data being stored/returned.

Type Aliases

CanonicalUserType

Canonical user type annotation.

CanonicalUserTypeAnnotations

Mapping of type annotation indices to canonical user type annotations.