Skip to main content

Module generic_args

Module generic_args 

Source

Re-exportsยง

use core::intrinsics; ๐Ÿ”’ Experimental
use std::fmt::Debug; ๐Ÿ”’
use std::fmt::Debug; ๐Ÿ”’
use std::marker::PhantomData; ๐Ÿ”’
use std::num::NonZero; ๐Ÿ”’
use std::ops::Index; ๐Ÿ”’
use std::ptr::NonNull; ๐Ÿ”’
use rustc_data_structures::intern::Interned; ๐Ÿ”’
use rustc_errors::DiagArgValue; ๐Ÿ”’
use rustc_errors::IntoDiagArg; ๐Ÿ”’
use rustc_hir::def_id::DefId; ๐Ÿ”’
use rustc_macros::Lift; ๐Ÿ”’
use rustc_macros::StableHash; ๐Ÿ”’
use rustc_macros::TyDecodable; ๐Ÿ”’
use rustc_macros::TyEncodable; ๐Ÿ”’
use rustc_macros::extension; ๐Ÿ”’
use rustc_serialize::Decodable; ๐Ÿ”’
use rustc_serialize::Encodable; ๐Ÿ”’
use rustc_span::bug; ๐Ÿ”’
use rustc_type_ir::WithCachedTypeInfo; ๐Ÿ”’
use rustc_type_ir::walk::TypeWalker; ๐Ÿ”’
use smallvec::SmallVec; ๐Ÿ”’
use crate::ty::codec::TyDecoder; ๐Ÿ”’
use crate::ty::codec::TyEncoder; ๐Ÿ”’
use crate::ty; ๐Ÿ”’
use crate::ty::ClosureArgs; ๐Ÿ”’
use crate::ty::CoroutineArgs; ๐Ÿ”’
use crate::ty::CoroutineClosureArgs; ๐Ÿ”’
use crate::ty::FallibleTypeFolder; ๐Ÿ”’
use crate::ty::InlineConstArgs; ๐Ÿ”’
use crate::ty::Lift; ๐Ÿ”’
use crate::ty::List; ๐Ÿ”’
use crate::ty::Ty; ๐Ÿ”’
use crate::ty::TyCtxt; ๐Ÿ”’
use crate::ty::TypeFoldable; ๐Ÿ”’
use crate::ty::TypeFoldable; ๐Ÿ”’
use crate::ty::TypeFolder; ๐Ÿ”’
use crate::ty::TypeVisitable; ๐Ÿ”’
use crate::ty::TypeVisitable; ๐Ÿ”’
use crate::ty::TypeVisitor; ๐Ÿ”’
use crate::ty::VisitorResult; ๐Ÿ”’
use crate::ty::walk_visitable_list; ๐Ÿ”’

Structsยง

GenericArg
An entity in the Rust type system, which can be one of several kinds (types, lifetimes, and consts). To reduce memory usage, a GenericArg is an interned pointer, with the lowest 2 bits being reserved for a tag to indicate the type (Ty, Region, or Const) it points to.
GenericArgs
List of generic arguments that are gonna be used to replace generic parameters.
UserArgs
Stores the user-given args to reach some fully qualified path (e.g., <T>::Item or <T as Trait>::Item).
UserSelfTy
Specifies the user-given self type. In the case of a path that refers to a member in an inherent impl, this self type is sometimes needed to constrain the type parameters on the impl. For example, in this code:

Constantsยง

CONST_TAG ๐Ÿ”’
REGION_TAG ๐Ÿ”’
TAG_MASK ๐Ÿ”’
TYPE_TAG ๐Ÿ”’

Traitsยง

GenericArgPackExt ๐Ÿ”’

Type Aliasesยง

GenericArgKind
GenericArgsUnsized
TermKind