Module thir 

THIR datatypes and definitions. See the rustc dev guide for more info.

If you compare the THIR ExprKind to hir::ExprKind, you will see it is a good bit simpler. In fact, a number of the more straight-forward MIR simplifications are already done in the lowering to THIR. For example, method calls and overloaded operators are absent: they are expected to be converted into ExprKind::Call instances.

Re-exports

use std::cmp::Ordering; 🔒

use std::fmt; 🔒

use std::ops::Index; 🔒

use std::sync::Arc; 🔒

use rustc_abi::FieldIdx; 🔒

use rustc_abi::Integer; 🔒

use rustc_abi::Size; 🔒

use rustc_abi::VariantIdx; 🔒

use rustc_ast::AsmMacro; 🔒

use rustc_ast::InlineAsmOptions; 🔒

use rustc_ast::InlineAsmTemplatePiece; 🔒

use rustc_ast::Mutability; 🔒

use rustc_attr_ir::UnrollAttr; 🔒

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_data_structures::thin_vec::ThinVec; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::BindingMode; 🔒

use rustc_hir::ByRef; 🔒

use rustc_hir::HirId; 🔒

use rustc_hir::MatchSource; 🔒

use rustc_hir::RangeEnd; 🔒

use rustc_index::IndexVec; 🔒

use rustc_index::newtype_index; 🔒

use rustc_macros::StableHash; 🔒

use rustc_macros::TyDecodable; 🔒

use rustc_macros::TyEncodable; 🔒

use rustc_macros::TypeVisitable; 🔒

use rustc_span::def_id::LocalDefId; 🔒

use rustc_span::ErrorGuaranteed; 🔒

use rustc_span::Span; 🔒

use rustc_span::Symbol; 🔒

use rustc_span::bug; 🔒

use rustc_target::asm::InlineAsmRegOrRegClass; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use crate::middle::region; 🔒

use crate::mir::interpret::AllocId; 🔒

use crate::mir; 🔒

use crate::mir::AssignOp; 🔒

use crate::mir::BinOp; 🔒

use crate::mir::BorrowKind; 🔒

use crate::mir::FakeReadCause; 🔒

use crate::mir::UnOp; 🔒

use crate::thir::visit::for_each_immediate_subpat; 🔒

use crate::ty::adjustment::PointerCoercion; 🔒

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

use crate::ty; 🔒

use crate::ty::AdtDef; 🔒

use crate::ty::CanonicalUserType; 🔒

use crate::ty::CanonicalUserTypeAnnotation; 🔒

use crate::ty::FnSig; 🔒

use crate::ty::GenericArgsRef; 🔒

use crate::ty::Ty; 🔒

use crate::ty::TyCtxt; 🔒

use crate::ty::UpvarArgs; 🔒

Modules

size_asserts 🔒

visit

Macros

thir_with_elements 🔒

Structs

AdtExpr

Arm

A match arm.

ArmId

Ascription

Block

BlockId

ClosureExpr

Expr

A THIR expression.

ExprId

FieldExpr

Represents the association of a field identifier and an expression.

FieldPat

FruInfo

InlineAsmExpr

LocalVarId

LoopMatchMatchData

The match part of a #[loop_match]

Param

Description of a type-checked function parameter.

ParamId

Pat

PatExtra

Additional per-node data that is not present on most THIR pattern nodes.

PatRange

A range pattern. The boundaries must be of the same type and that type must be numeric.

Stmt

StmtId

Thir

A container for a THIR body.

Enums

AdtExprBase

BlockSafety

BodyTy

DerefPatBorrowMode

ExprKind

InlineAsmOperand

LogicalOp

PatKind

PatRangeBoundary

A (possibly open) boundary of a range pattern. If present, the const must be of a numeric type.

StmtKind

Type Aliases

UserTy 🔒