Module util 

Re-exports

use rustc_hir::def_id::CRATE_DEF_ID; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_infer::infer::TyCtxtInferExt; 🔒

use rustc_infer::traits::Obligation; 🔒

use rustc_infer::traits::ObligationCause; 🔒

use rustc_middle::mir::interpret::AllocInit; 🔒

use rustc_middle::mir::interpret::Allocation; 🔒

use rustc_middle::mir::interpret::GlobalAlloc; 🔒

use rustc_middle::mir::interpret::InterpResult; 🔒

use rustc_middle::mir::interpret::Pointer; 🔒

use rustc_middle::ty::layout::TyAndLayout; 🔒

use rustc_middle::ty::PolyExistentialPredicate; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::ty; 🔒

use rustc_span::span_bug; 🔒

use rustc_trait_selection::traits::ObligationCtxt; 🔒

use tracing::debug; 🔒

use super::InterpCx; 🔒

use super::MPlaceTy; 🔒

use super::MemoryKind; 🔒

use super::interp_ok; 🔒

use super::throw_inval; 🔒

use crate::const_eval::CompileTimeInterpCx; 🔒

use crate::const_eval::CompileTimeMachine; 🔒

use crate::const_eval::InterpretationResult; 🔒

use crate::interpret::Machine; 🔒

Traits

EnteredTraceSpan

A marker trait returned by crate::interpret::Machine::enter_trace_span, identifying either a real tracing::span::EnteredSpan in case tracing is enabled, or the dummy type () when tracing is disabled. Also see crate::enter_trace_span! below.

Functions

create_static_alloc 🔒

ensure_monomorphic_enough 🔒

Checks whether a type contains generic parameters which must be instantiated.

type_implements_dyn_trait 🔒

Checks if a type implements predicates. Calls ensure_monomorphic_enough on ty and trait_ty for you.