Module sty

Source

Expand description

This module contains TyKind and its major components.

Re-exports§

use std::borrow::Cow; 🔒
use std::debug_assert_matches; 🔒
use std::ops::ControlFlow; 🔒
use std::ops::Range; 🔒
use hir::def::CtorKind; 🔒
use hir::def::DefKind; 🔒
use rustc_abi::FIRST_VARIANT; 🔒
use rustc_abi::FieldIdx; 🔒
use rustc_abi::NumScalableVectors; 🔒
use rustc_abi::ScalableElt; 🔒
use rustc_abi::VariantIdx; 🔒
use rustc_attr_ir::lang_items::LangItem; 🔒
use rustc_errors::ErrorGuaranteed; 🔒
use rustc_errors::MultiSpan; 🔒
use rustc_hir as hir; 🔒
use rustc_hir::def_id::DefId; 🔒
use rustc_macros::StableHash; 🔒
use rustc_macros::TyDecodable; 🔒
use rustc_macros::TyEncodable; 🔒
use rustc_macros::TypeFoldable; 🔒
use rustc_macros::extension; 🔒
use rustc_span::DUMMY_SP; 🔒
use rustc_span::Span; 🔒
use rustc_span::Symbol; 🔒
use rustc_span::bug; 🔒
use rustc_span::kw; 🔒
use rustc_span::sym; 🔒
use rustc_type_ir::solve::SizedTraitKind; 🔒
use rustc_type_ir::walk::TypeWalker; 🔒
use rustc_type_ir as ir; 🔒
use rustc_type_ir::BoundVar; 🔒
use rustc_type_ir::CallerBoundsIterator; 🔒
use rustc_type_ir::CollectAndApply; 🔒
use rustc_type_ir::MayBeErased; 🔒
use rustc_type_ir::TypeVisitableExt; 🔒
use rustc_type_ir::elaborate; 🔒
use tracing::instrument; 🔒
use tracing::instrument; 🔒
use ty::util::IntTypeExt; 🔒
use super::AdtFlags; 🔒
use super::GenericParamDefKind; 🔒
use crate::infer::canonical::Canonical; 🔒
use crate::traits::ObligationCause; 🔒
use crate::ty; 🔒
use crate::ty::AdtDef; 🔒
use crate::ty::Const; 🔒
use crate::ty::Discr; 🔒
use crate::ty::GenericArg; 🔒
use crate::ty::GenericArgs; 🔒
use crate::ty::List; 🔒
use crate::ty::ParamEnv; 🔒
use crate::ty::Region; 🔒
use crate::ty::Ty; 🔒
use crate::ty::TyCtxt; 🔒
use crate::ty::TypeSuperVisitable; 🔒
use crate::ty::TypeVisitable; 🔒
use crate::ty::TypeVisitable; 🔒
use crate::ty::TypeVisitor; 🔒
use crate::ty::UintTy; 🔒
use crate::ty::ValTree; 🔒
use rustc_type_ir::TyKind::*; 🔒
use crate::ty::InferTy::*; 🔒

Modules§

size_asserts 🔒

Structs§

InlineConstArgs: An inline const is modeled like
InlineConstArgsParts: Struct returned by split().
ParamConst
ParamTy

Enums§

UpvarArgs

Traits§

Article
CoroutineArgsExt

Module sty

Module sty Copy item path

Re-exports§

Modules§

Structs§

Enums§

Traits§

Type Aliases§

Module sty