Module consts 

A simple const eval API, for use on arbitrary HIR expressions.

This cannot use rustc’s const eval, aka miri, as arbitrary HIR expressions cannot be lowered to executable MIR bodies, so we have to do this instead.

Re-exports

use crate::res::MaybeDef as _; 🔒

use crate::source::SpanExt as _; 🔒

use crate::source::walk_span_to_context; 🔒

use crate::clip; 🔒

use crate::is_direct_expn_of; 🔒

use crate::sext; 🔒

use crate::sym; 🔒

use crate::unsext; 🔒

use rustc_abi::Size; 🔒

use rustc_apfloat::Float as _; 🔒

use rustc_apfloat::ieee::Half; 🔒

use rustc_apfloat::ieee::Quad; 🔒

use rustc_ast::ast::LitFloatType; 🔒

use rustc_ast::ast::LitKind; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def::Res; 🔒

use rustc_hir::BinOpKind; 🔒

use rustc_hir::Block; 🔒

use rustc_hir::ConstArgKind; 🔒

use rustc_hir::ConstBlock; 🔒

use rustc_hir::ConstItemRhs; 🔒

use rustc_hir::Expr; 🔒

use rustc_hir::ExprKind; 🔒

use rustc_hir::HirId; 🔒

use rustc_hir::PatExpr; 🔒

use rustc_hir::PatExprKind; 🔒

use rustc_hir::QPath; 🔒

use rustc_hir::TyKind; 🔒

use rustc_hir::UnOp; 🔒

use rustc_lexer::FrontmatterAllowed; 🔒

use rustc_lexer::tokenize; 🔒

use rustc_lint::LateContext; 🔒

use rustc_middle::mir::interpret::Scalar; 🔒

use rustc_middle::mir::interpret::alloc_range; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::mir::ConstValue; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::FloatTy; 🔒

use rustc_middle::ty::IntTy; 🔒

use rustc_middle::ty::ScalarInt; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeckResults; 🔒

use rustc_middle::ty::UintTy; 🔒

use rustc_span::Symbol; 🔒

use rustc_span::SyntaxContext; 🔒

use rustc_span::bug; 🔒

use rustc_span::span_bug; 🔒

use std::cell::Cell; 🔒

use std::cmp::Ordering; 🔒

use std::hash::Hash; 🔒

use std::hash::Hash; 🔒

use std::hash::Hasher; 🔒

use std::iter; 🔒

Structs

ConstEvalCtxt

The context required to evaluate a constant expression.

Enums

Constant

A LitKind-like enum to fold constant Exprs into.

ConstantSource

The source of a constant value.

FullInt

An integer type (signed or unsigned) with enough bits to represent any integer that can be represented in Rust.

Traits

IntTypeBounds 🔒

Functions

const_item_rhs_to_expr

Extracts the [Expr] backing a const item’s right-hand side, if it has one.

eval_int

Evaluates an expression if it’s a builtin integer type.

field_of_struct 🔒

integer_const

If expr evaluates to an integer constant, return its value.

is_zero_integer_const

Check if expr evaluates to an integer constant of 0.

lit_to_mir_constant

Parses a LitKind to a Constant.

mir_to_const

Converts a [ConstValue] to a Constant, if possible.