Module ty_kind 

Re-exports

use std::fmt; 🔒

use std::marker::PhantomData; 🔒

use std::ops::Deref; 🔒

use derive_where::derive_where; 🔒

use rustc_abi::ExternAbi; 🔒

use rustc_ast_ir::Mutability; 🔒

use rustc_data_structures::stable_hash::StableHash; 🔒

use rustc_data_structures::stable_hash::StableHashCtxt; 🔒

use rustc_data_structures::stable_hash::StableHasher; 🔒

use rustc_macros::Decodable_NoContext; 🔒

use rustc_macros::Encodable_NoContext; 🔒

use rustc_macros::StableHash; 🔒

use rustc_macros::StableHash_NoContext; 🔒

use rustc_type_ir::data_structures::NoError; 🔒

use rustc_type_ir::data_structures::UnifyKey; 🔒

use rustc_type_ir::data_structures::UnifyValue; 🔒

use rustc_type_ir_macros::GenericTypeVisitable; 🔒

use rustc_type_ir_macros::Lift_Generic; 🔒

use rustc_type_ir_macros::TypeFoldable_Generic; 🔒

use rustc_type_ir_macros::TypeVisitable_Generic; 🔒

use crate::ty::AliasTy; 🔒

use crate as ty; 🔒

use crate::BoundVarIndexKind; 🔒

use crate::Const; 🔒

use crate::FloatTy; 🔒

use crate::FreeAliasTy; 🔒

use crate::InherentAliasTy; 🔒

use crate::IntTy; 🔒

use crate::Interner; 🔒

use crate::OpaqueAliasTy; 🔒

use crate::ProjectionAliasTy; 🔒

use crate::Region; 🔒

use crate::UintTy; 🔒

use crate::Unnormalized; 🔒

use self::TyKind::*; 🔒

use crate::inherent::*; 🔒

Modules

closure 🔒

Structs

ClosureArgs

A closure can be modeled as a struct that looks like:

ClosureArgsParts

Struct returned by split().

CoroutineArgs

Similar to ClosureArgs; see the above documentation for more.

CoroutineArgsParts

CoroutineClosureArgs

CoroutineClosureArgsParts

See docs for explanation of how each argument is used.

CoroutineClosureSignature

CoroutineWitnessTypes

FloatVid

A floating-point (f32 or f64) type variable ID.

FnHeader

FnSig

FnSigKind

Contains the packed non-type fields of a function signature.

FnSigTys

FoldEscapingRegions

Instantiates a for<'env> ... binder with a specific region.

GenSig

HasRegionsBoundAt

Unlike has_escaping_bound_vars or outermost_exclusive_binder, this will detect only regions bound at the debruijn index.

IntVid

An integral (u32, i32, usize, etc.) type variable ID.

TyVid

A type variable ID.

TypeAndMut

UnsafeBinderInner

Enums

AliasTyKind

FloatVarValue

InferTy

A placeholder for a type that hasn’t been inferred yet.

IntVarValue

IsRigid

Whether an alias type is rigid or potentially normalizeable.

SplattedArgIndexError

Error type for splatted argument index errors.

TyKind

Defines the kinds of types used by the type system.