Re-exports§
use std::borrow::Borrow;🔒use std::borrow::Cow;🔒use std::hash::Hash;🔒use std::hash::Hash;🔒use std::fmt;🔒use std::mem;🔒use rustc_abi::Align;🔒use rustc_abi::FIRST_VARIANT;🔒use rustc_abi::FieldIdx;🔒use rustc_abi::Size;🔒use rustc_abi::VariantIdx;🔒use rustc_ast::Mutability;🔒use rustc_attr_ir::find_attr;🔒use rustc_attr_ir::lang_items::LangItem;🔒use rustc_data_structures::fx::FxHashMap;🔒use rustc_data_structures::fx::FxIndexMap;🔒use rustc_data_structures::fx::IndexEntry;🔒use rustc_hir::def_id::DefId;🔒use rustc_hir::def_id::LocalDefId;🔒use rustc_hir::CRATE_HIR_ID;🔒use rustc_hir::HirId;🔒use rustc_lint_defs::builtin::LONG_RUNNING_CONST_EVAL;🔒use rustc_middle::mir::AssertMessage;🔒use rustc_middle::mir::interpret::ReportedErrorInfo;🔒use rustc_middle::query::TyCtxtAt;🔒use rustc_middle::ty::layout::HasTyCtxt;🔒use rustc_middle::ty::layout::HasTypingEnv;🔒use rustc_middle::ty::layout::TyAndLayout;🔒use rustc_middle::ty::layout::ValidityRequirement;🔒use rustc_middle::ty;🔒use rustc_middle::ty::FieldInfo;🔒use rustc_middle::ty::ScalarInt;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_middle::mir;🔒use rustc_middle::throw_machine_stop;🔒use rustc_span::Span;🔒use rustc_span::Symbol;🔒use rustc_span::bug;🔒use rustc_span::span_bug;🔒use rustc_span::sym;🔒use rustc_target::callconv::FnAbi;🔒use tracing::debug;🔒use crate::diagnostics::LongRunning;🔒use crate::diagnostics::LongRunningWarn;🔒use crate::interpret;🔒use crate::interpret::AllocId;🔒use crate::interpret::AllocInit;🔒use crate::interpret::AllocRange;🔒use crate::interpret::ConstAllocation;🔒use crate::interpret::CtfeProvenance;🔒use crate::interpret::FnArg;🔒use crate::interpret::Frame;🔒use crate::interpret::GlobalAlloc;🔒use crate::interpret::ImmTy;🔒use crate::interpret::Immediate;🔒use crate::interpret::InterpCx;🔒use crate::interpret::InterpResult;🔒use crate::interpret::OpTy;🔒use crate::interpret::PlaceTy;🔒use crate::interpret::Pointer;🔒use crate::interpret::RangeSet;🔒use crate::interpret::RetagMode;🔒use crate::interpret::Scalar;🔒use crate::interpret::compile_time_machine;🔒use crate::interpret::ensure_monomorphic_enough;🔒use crate::interpret::err_inval;🔒use crate::interpret::interp_ok;🔒use crate::interpret::throw_exhaust;🔒use crate::interpret::throw_inval;🔒use crate::interpret::throw_ub;🔒use crate::interpret::throw_ub_format;🔒use crate::interpret::throw_unsup;🔒use crate::interpret::throw_unsup_format;🔒use crate::interpret::type_implements_dyn_trait;🔒use super::error::*;🔒
Structs§
- Compile
Time Machine - Extra machine state for CTFE, and the Machine instance.
Enums§
Constants§
- LINT_
TERMINATOR_ 🔒LIMIT - When hitting this many interpreted terminators we emit a deny by default lint that notfies the user that their constant takes a long time to evaluate. If that’s what they intended, they can just allow the lint.
- PROGRESS_
INDICATOR_ 🔒START - After this many interpreted terminators, we start emitting progress indicators at every power of two of interpreted terminators.
- TINY_
LINT_ 🔒TERMINATOR_ LIMIT - The limit used by
-Z tiny-const-eval-limit. This smaller limit is useful for internal tests not needing to run 30s or more to show some behaviour.