Module call 

Manages calling a concrete function (with known MIR body) with argument passing, and returning the return value to the caller.

Re-exports

use std::assert_matches; 🔒

use std::borrow::Cow; 🔒

use either::Left; 🔒

use either::Right; 🔒

use rustc_abi as abi; 🔒

use rustc_abi::ExternAbi; 🔒

use rustc_abi::FieldIdx; 🔒

use rustc_abi::Integer; 🔒

use rustc_abi::VariantIdx; 🔒

use rustc_attr_ir::find_attr; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::ty::layout::IntegerExt; 🔒

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

use rustc_middle::ty; 🔒

use rustc_middle::ty::AdtDef; 🔒

use rustc_middle::ty::FieldDef; 🔒

use rustc_middle::ty::Instance; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::VariantDef; 🔒

use rustc_span::bug; 🔒

use rustc_span::span_bug; 🔒

use rustc_target::callconv::ArgAbi; 🔒

use rustc_target::callconv::FnAbi; 🔒

use tracing::field::Empty; 🔒

use tracing::info; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use tracing::trace; 🔒

use super::CtfeProvenance; 🔒

use super::EnteredTraceSpan; 🔒

use super::FnVal; 🔒

use super::ImmTy; 🔒

use super::InterpCx; 🔒

use super::InterpResult; 🔒

use super::MPlaceTy; 🔒

use super::Machine; 🔒

use super::OpTy; 🔒

use super::PlaceTy; 🔒

use super::Projectable; 🔒

use super::Provenance; 🔒

use super::RetagMode; 🔒

use super::ReturnAction; 🔒

use super::ReturnContinuation; 🔒

use super::Scalar; 🔒

use super::interp_ok; 🔒

use super::throw_ub; 🔒

use super::throw_ub_format; 🔒

use crate::enter_trace_span; 🔒

Enums

FnArg

An argument passed to a function.