Skip to main content

rustc_const_eval/interpret/
eval_context.rs

1use std::cell::RefCell;
2use std::collections::hash_map::Entry;
3
4use either::{Left, Right};
5use rustc_abi::{Align, HasDataLayout, Size, TargetDataLayout};
6use rustc_data_structures::fx::FxHashMap;
7use rustc_hir::def_id::DefId;
8use rustc_hir::limit::Limit;
9use rustc_middle::mir::interpret::{ErrorHandled, InvalidMetaKind, ReportedErrorInfo};
10use rustc_middle::query::TyCtxtAt;
11use rustc_middle::ty::layout::{
12    self, FnAbiError, FnAbiOf, FnAbiOfHelpers, FnAbiRequest, LayoutError, LayoutOf,
13    LayoutOfHelpers, TyAndLayout,
14};
15use rustc_middle::ty::{
16    self, GenericArgsRef, Ty, TyCtxt, TypeFoldable, TypeVisitableExt, TypingEnv, Variance,
17};
18use rustc_middle::{mir, span_bug};
19use rustc_span::Span;
20use rustc_target::callconv::FnAbi;
21use tracing::{debug, trace};
22
23use super::{
24    Frame, FrameInfo, GlobalId, InterpErrorInfo, InterpErrorKind, InterpResult, MPlaceTy, Machine,
25    MemPlaceMeta, Memory, OpTy, Place, PlaceTy, PointerArithmetic, Projectable, Provenance,
26    err_inval, interp_ok, throw_inval, throw_ub, throw_ub_format,
27};
28use crate::{enter_trace_span, util};
29
30pub struct InterpCx<'tcx, M: Machine<'tcx>> {
31    /// Stores the `Machine` instance.
32    ///
33    /// Note: the stack is provided by the machine.
34    pub machine: M,
35
36    /// The results of the type checker, from rustc.
37    /// The span in this is the "root" of the evaluation, i.e., the const
38    /// we are evaluating (if this is CTFE).
39    pub tcx: TyCtxtAt<'tcx>,
40
41    /// The current context in case we're evaluating in a
42    /// polymorphic context. This always uses `ty::TypingMode::PostAnalysis`.
43    pub(super) typing_env: ty::TypingEnv<'tcx>,
44
45    /// The query cache is slow so we have our own cache in front of it.
46    pub(super) layout_cache: RefCell<FxHashMap<Ty<'tcx>, rustc_abi::Layout<'tcx>>>,
47
48    /// The virtual memory system.
49    pub memory: Memory<'tcx, M>,
50
51    /// The recursion limit (cached from `tcx.recursion_limit(())`)
52    pub recursion_limit: Limit,
53}
54
55impl<'tcx, M: Machine<'tcx>> HasDataLayout for InterpCx<'tcx, M> {
56    #[inline]
57    fn data_layout(&self) -> &TargetDataLayout {
58        &self.tcx.data_layout
59    }
60}
61
62impl<'tcx, M> layout::HasTyCtxt<'tcx> for InterpCx<'tcx, M>
63where
64    M: Machine<'tcx>,
65{
66    #[inline]
67    fn tcx(&self) -> TyCtxt<'tcx> {
68        *self.tcx
69    }
70}
71
72impl<'tcx, M> layout::HasTypingEnv<'tcx> for InterpCx<'tcx, M>
73where
74    M: Machine<'tcx>,
75{
76    fn typing_env(&self) -> ty::TypingEnv<'tcx> {
77        self.typing_env
78    }
79}
80
81impl<'tcx, M: Machine<'tcx>> LayoutOfHelpers<'tcx> for InterpCx<'tcx, M> {
82    type LayoutOfResult = Result<TyAndLayout<'tcx>, InterpErrorKind<'tcx>>;
83
84    #[inline]
85    fn layout_tcx_at_span(&self) -> Span {
86        // Using the cheap root span for performance.
87        self.tcx.span
88    }
89
90    #[inline]
91    fn handle_layout_err(
92        &self,
93        mut err: LayoutError<'tcx>,
94        _: Span,
95        _: Ty<'tcx>,
96    ) -> InterpErrorKind<'tcx> {
97        // FIXME(#149283): This is really hacky and is only used to hide type
98        // system bugs. We use it as a temporary fix for #149081.
99        //
100        // While it's expected that we sometimes get ambiguity errors when
101        // entering another generic environment while the current environment
102        // itself is still generic, we should never fail to entirely prove
103        // something.
104        match err {
105            LayoutError::NormalizationFailure(ty, _) => {
106                if ty.has_non_region_param() {
107                    err = LayoutError::TooGeneric(ty);
108                }
109            }
110
111            LayoutError::Unknown(_)
112            | LayoutError::SizeOverflow(_)
113            | LayoutError::InvalidSimd { .. }
114            | LayoutError::TooGeneric(_)
115            | LayoutError::ReferencesError(_) => {}
116        }
117        ::rustc_middle::mir::interpret::InterpErrorKind::InvalidProgram(::rustc_middle::mir::interpret::InvalidProgramInfo::Layout(err))err_inval!(Layout(err))
118    }
119}
120
121impl<'tcx, M: Machine<'tcx>> FnAbiOfHelpers<'tcx> for InterpCx<'tcx, M> {
122    type FnAbiOfResult = Result<&'tcx FnAbi<'tcx, Ty<'tcx>>, InterpErrorKind<'tcx>>;
123
124    fn handle_fn_abi_err(
125        &self,
126        err: FnAbiError<'tcx>,
127        _span: Span,
128        _fn_abi_request: FnAbiRequest<'tcx>,
129    ) -> InterpErrorKind<'tcx> {
130        match err {
131            FnAbiError::Layout(err) => ::rustc_middle::mir::interpret::InterpErrorKind::InvalidProgram(::rustc_middle::mir::interpret::InvalidProgramInfo::Layout(err))err_inval!(Layout(err)),
132        }
133    }
134}
135
136impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
137    /// This inherent method takes priority over the trait method with the same name in LayoutOf,
138    /// and allows wrapping the actual [LayoutOf::layout_of] with a tracing span.
139    /// See [LayoutOf::layout_of] for the original documentation.
140    #[inline]
141    pub fn layout_of(&self, ty: Ty<'tcx>) -> Result<TyAndLayout<'tcx>, InterpErrorKind<'tcx>> {
142        match self.layout_cache.borrow_mut().entry(ty) {
143            Entry::Occupied(occupied_entry) => {
144                Ok(TyAndLayout { ty, layout: *occupied_entry.get() })
145            }
146            Entry::Vacant(vacant_entry) => {
147                let _trace = <M as
        crate::interpret::Machine>::enter_trace_span(||
        {
            use ::tracing::__macro_support::Callsite as _;
            static __CALLSITE: ::tracing::callsite::DefaultCallsite =
                {
                    static META: ::tracing::Metadata<'static> =
                        {
                            ::tracing_core::metadata::Metadata::new("layouting",
                                "rustc_const_eval::interpret::eval_context",
                                ::tracing::Level::INFO,
                                ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                                ::tracing_core::__macro_support::Option::Some(147u32),
                                ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                                ::tracing_core::field::FieldSet::new(&["layouting", "ty"],
                                    ::tracing_core::callsite::Identifier(&__CALLSITE)),
                                ::tracing::metadata::Kind::SPAN)
                        };
                    ::tracing::callsite::DefaultCallsite::new(&META)
                };
            let mut interest = ::tracing::subscriber::Interest::never();
            if ::tracing::Level::INFO <=
                                ::tracing::level_filters::STATIC_MAX_LEVEL &&
                            ::tracing::Level::INFO <=
                                ::tracing::level_filters::LevelFilter::current() &&
                        { interest = __CALLSITE.interest(); !interest.is_never() }
                    &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest) {
                let meta = __CALLSITE.metadata();
                ::tracing::Span::new(meta,
                    &{
                            #[allow(unused_imports)]
                            use ::tracing::field::{debug, display, Value};
                            let mut iter = meta.fields().iter();
                            meta.fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&display(&"layout_of")
                                                        as &dyn Value)),
                                            (&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&debug(&ty.kind())
                                                        as &dyn Value))])
                        })
            } else {
                let span =
                    ::tracing::__macro_support::__disabled_span(__CALLSITE.metadata());
                {};
                span
            }
        })enter_trace_span!(M, layouting::layout_of, ty = ?ty.kind());
148                let layout = LayoutOf::layout_of(self, ty)?;
149                vacant_entry.insert(layout.layout);
150                Ok(layout)
151            }
152        }
153    }
154
155    /// This inherent method takes priority over the trait method with the same name in FnAbiOf,
156    /// and allows wrapping the actual [FnAbiOf::fn_abi_of_fn_ptr] with a tracing span.
157    /// See [FnAbiOf::fn_abi_of_fn_ptr] for the original documentation.
158    #[inline(always)]
159    pub fn fn_abi_of_fn_ptr(
160        &self,
161        sig: ty::PolyFnSig<'tcx>,
162        extra_args: &'tcx ty::List<Ty<'tcx>>,
163    ) -> <Self as FnAbiOfHelpers<'tcx>>::FnAbiOfResult {
164        let _trace = <M as
        crate::interpret::Machine>::enter_trace_span(||
        {
            use ::tracing::__macro_support::Callsite as _;
            static __CALLSITE: ::tracing::callsite::DefaultCallsite =
                {
                    static META: ::tracing::Metadata<'static> =
                        {
                            ::tracing_core::metadata::Metadata::new("layouting",
                                "rustc_const_eval::interpret::eval_context",
                                ::tracing::Level::INFO,
                                ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                                ::tracing_core::__macro_support::Option::Some(164u32),
                                ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                                ::tracing_core::field::FieldSet::new(&["layouting", "sig",
                                                "extra_args"],
                                    ::tracing_core::callsite::Identifier(&__CALLSITE)),
                                ::tracing::metadata::Kind::SPAN)
                        };
                    ::tracing::callsite::DefaultCallsite::new(&META)
                };
            let mut interest = ::tracing::subscriber::Interest::never();
            if ::tracing::Level::INFO <=
                                ::tracing::level_filters::STATIC_MAX_LEVEL &&
                            ::tracing::Level::INFO <=
                                ::tracing::level_filters::LevelFilter::current() &&
                        { interest = __CALLSITE.interest(); !interest.is_never() }
                    &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest) {
                let meta = __CALLSITE.metadata();
                ::tracing::Span::new(meta,
                    &{
                            #[allow(unused_imports)]
                            use ::tracing::field::{debug, display, Value};
                            let mut iter = meta.fields().iter();
                            meta.fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&display(&"fn_abi_of_fn_ptr")
                                                        as &dyn Value)),
                                            (&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&debug(&sig) as
                                                        &dyn Value)),
                                            (&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&debug(&extra_args)
                                                        as &dyn Value))])
                        })
            } else {
                let span =
                    ::tracing::__macro_support::__disabled_span(__CALLSITE.metadata());
                {};
                span
            }
        })enter_trace_span!(M, layouting::fn_abi_of_fn_ptr, ?sig, ?extra_args);
165        FnAbiOf::fn_abi_of_fn_ptr(self, sig, extra_args)
166    }
167
168    /// This inherent method takes priority over the trait method with the same name in FnAbiOf,
169    /// and allows wrapping the actual [FnAbiOf::fn_abi_of_instance_no_deduced_attrs] with a tracing span.
170    /// See [FnAbiOf::fn_abi_of_instance_no_deduced_attrs] for the original documentation.
171    #[inline(always)]
172    pub fn fn_abi_of_instance_no_deduced_attrs(
173        &self,
174        instance: ty::Instance<'tcx>,
175        extra_args: &'tcx ty::List<Ty<'tcx>>,
176    ) -> <Self as FnAbiOfHelpers<'tcx>>::FnAbiOfResult {
177        let _trace = <M as
        crate::interpret::Machine>::enter_trace_span(||
        {
            use ::tracing::__macro_support::Callsite as _;
            static __CALLSITE: ::tracing::callsite::DefaultCallsite =
                {
                    static META: ::tracing::Metadata<'static> =
                        {
                            ::tracing_core::metadata::Metadata::new("layouting",
                                "rustc_const_eval::interpret::eval_context",
                                ::tracing::Level::INFO,
                                ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                                ::tracing_core::__macro_support::Option::Some(177u32),
                                ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                                ::tracing_core::field::FieldSet::new(&["layouting",
                                                "instance", "extra_args"],
                                    ::tracing_core::callsite::Identifier(&__CALLSITE)),
                                ::tracing::metadata::Kind::SPAN)
                        };
                    ::tracing::callsite::DefaultCallsite::new(&META)
                };
            let mut interest = ::tracing::subscriber::Interest::never();
            if ::tracing::Level::INFO <=
                                ::tracing::level_filters::STATIC_MAX_LEVEL &&
                            ::tracing::Level::INFO <=
                                ::tracing::level_filters::LevelFilter::current() &&
                        { interest = __CALLSITE.interest(); !interest.is_never() }
                    &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest) {
                let meta = __CALLSITE.metadata();
                ::tracing::Span::new(meta,
                    &{
                            #[allow(unused_imports)]
                            use ::tracing::field::{debug, display, Value};
                            let mut iter = meta.fields().iter();
                            meta.fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&display(&"fn_abi_of_instance")
                                                        as &dyn Value)),
                                            (&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&debug(&instance)
                                                        as &dyn Value)),
                                            (&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&debug(&extra_args)
                                                        as &dyn Value))])
                        })
            } else {
                let span =
                    ::tracing::__macro_support::__disabled_span(__CALLSITE.metadata());
                {};
                span
            }
        })enter_trace_span!(M, layouting::fn_abi_of_instance, ?instance, ?extra_args);
178        FnAbiOf::fn_abi_of_instance_no_deduced_attrs(self, instance, extra_args)
179    }
180}
181
182/// Test if it is valid for a MIR assignment to assign `src`-typed place to `dest`-typed value.
183pub(super) fn mir_assign_valid_types<'tcx>(
184    tcx: TyCtxt<'tcx>,
185    typing_env: TypingEnv<'tcx>,
186    src: TyAndLayout<'tcx>,
187    dest: TyAndLayout<'tcx>,
188) -> bool {
189    // We *could* check `Invariant` here since all subtyping must be explicit post-borrowck.
190    // However, this check is also used by the interpreter to figure out if a transmute can be
191    // turned into a regular assignment (which has a more efficient codepath), so we want the check
192    // to consider as many assignments as possible to be valid. Therefore we are happy to accept
193    // one-way subtyping.
194    if util::relate_types(tcx, typing_env, Variance::Covariant, src.ty, dest.ty) {
195        // Make sure the layout is equal, too -- just to be safe. Miri really needs layout equality.
196        // For performance reason we skip this check when the types are equal. Equal types *can*
197        // have different layouts when enum downcast is involved (as enum variants carry the type of
198        // the enum), but those should never occur in assignments.
199        if truecfg!(debug_assertions) || src.ty != dest.ty {
200            match (&src.layout, &dest.layout) {
    (left_val, right_val) => {
        if !(*left_val == *right_val) {
            let kind = ::core::panicking::AssertKind::Eq;
            ::core::panicking::assert_failed(kind, &*left_val, &*right_val,
                ::core::option::Option::Some(format_args!("{0} is a subtype of {1} but they have different layout",
                        src.ty, dest.ty)));
        }
    }
};assert_eq!(
201                src.layout,
202                dest.layout,
203                "{src} is a subtype of {dest} but they have different layout",
204                src = src.ty,
205                dest = dest.ty,
206            );
207        }
208        true
209    } else {
210        false
211    }
212}
213
214/// Use the already known layout if given (but sanity check in debug mode),
215/// or compute the layout.
216#[cfg_attr(not(debug_assertions), inline(always))]
217pub(super) fn from_known_layout<'tcx>(
218    tcx: TyCtxtAt<'tcx>,
219    typing_env: TypingEnv<'tcx>,
220    known_layout: Option<TyAndLayout<'tcx>>,
221    compute: impl FnOnce() -> InterpResult<'tcx, TyAndLayout<'tcx>>,
222) -> InterpResult<'tcx, TyAndLayout<'tcx>> {
223    match known_layout {
224        None => compute(),
225        Some(known_layout) => {
226            if truecfg!(debug_assertions) {
227                let check_layout = compute()?;
228                if !mir_assign_valid_types(tcx.tcx, typing_env, check_layout, known_layout) {
229                    ::rustc_middle::util::bug::span_bug_fmt(tcx.span,
    format_args!("expected type differs from actual type.\nexpected: {0}\nactual: {1}",
        known_layout.ty, check_layout.ty));span_bug!(
230                        tcx.span,
231                        "expected type differs from actual type.\nexpected: {}\nactual: {}",
232                        known_layout.ty,
233                        check_layout.ty,
234                    );
235                }
236            }
237            interp_ok(known_layout)
238        }
239    }
240}
241
242/// Turn the given error into a human-readable string. Expects the string to be printed, so if
243/// `RUSTC_CTFE_BACKTRACE` is set this will show a backtrace of the rustc internals that
244/// triggered the error.
245///
246/// This is NOT the preferred way to render an error; use `report` from `const_eval` instead.
247/// However, this is useful when error messages appear in ICEs.
248pub fn format_interp_error<'tcx>(e: InterpErrorInfo<'tcx>) -> String {
249    let (e, backtrace) = e.into_parts();
250    backtrace.print_backtrace();
251    e.to_string()
252}
253
254impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
255    pub fn new(
256        tcx: TyCtxt<'tcx>,
257        root_span: Span,
258        typing_env: ty::TypingEnv<'tcx>,
259        machine: M,
260    ) -> Self {
261        crate::assert_typing_mode(typing_env.typing_mode());
262
263        InterpCx {
264            machine,
265            tcx: tcx.at(root_span),
266            typing_env,
267            layout_cache: RefCell::new(FxHashMap::default()),
268            memory: Memory::new(),
269            recursion_limit: tcx.recursion_limit(),
270        }
271    }
272
273    /// Returns the span of the currently executed statement/terminator.
274    /// This is the span typically used for error reporting.
275    #[inline(always)]
276    pub fn cur_span(&self) -> Span {
277        // This deliberately does *not* honor `requires_caller_location` since it is used for much
278        // more than just panics.
279        self.stack().last().map_or(self.tcx.span, |f| f.current_span())
280    }
281
282    pub(crate) fn stack(&self) -> &[Frame<'tcx, M::Provenance, M::FrameExtra>] {
283        M::stack(self)
284    }
285
286    #[inline(always)]
287    pub(crate) fn stack_mut(&mut self) -> &mut Vec<Frame<'tcx, M::Provenance, M::FrameExtra>> {
288        M::stack_mut(self)
289    }
290
291    #[inline(always)]
292    pub fn frame_idx(&self) -> usize {
293        let stack = self.stack();
294        if !!stack.is_empty() {
    ::core::panicking::panic("assertion failed: !stack.is_empty()")
};assert!(!stack.is_empty());
295        stack.len() - 1
296    }
297
298    #[inline(always)]
299    pub fn frame(&self) -> &Frame<'tcx, M::Provenance, M::FrameExtra> {
300        self.stack().last().expect("no call frames exist")
301    }
302
303    #[inline(always)]
304    pub fn frame_mut(&mut self) -> &mut Frame<'tcx, M::Provenance, M::FrameExtra> {
305        self.stack_mut().last_mut().expect("no call frames exist")
306    }
307
308    #[inline(always)]
309    pub fn body(&self) -> &'tcx mir::Body<'tcx> {
310        self.frame().body
311    }
312
313    #[inline]
314    pub fn type_is_freeze(&self, ty: Ty<'tcx>) -> bool {
315        ty.is_freeze(*self.tcx, self.typing_env)
316    }
317
318    pub fn load_mir(
319        &self,
320        instance: ty::InstanceKind<'tcx>,
321        promoted: Option<mir::Promoted>,
322    ) -> InterpResult<'tcx, &'tcx mir::Body<'tcx>> {
323        {
    use ::tracing::__macro_support::Callsite as _;
    static __CALLSITE: ::tracing::callsite::DefaultCallsite =
        {
            static META: ::tracing::Metadata<'static> =
                {
                    ::tracing_core::metadata::Metadata::new("event compiler/rustc_const_eval/src/interpret/eval_context.rs:323",
                        "rustc_const_eval::interpret::eval_context",
                        ::tracing::Level::TRACE,
                        ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                        ::tracing_core::__macro_support::Option::Some(323u32),
                        ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                        ::tracing_core::field::FieldSet::new(&["message"],
                            ::tracing_core::callsite::Identifier(&__CALLSITE)),
                        ::tracing::metadata::Kind::EVENT)
                };
            ::tracing::callsite::DefaultCallsite::new(&META)
        };
    let enabled =
        ::tracing::Level::TRACE <= ::tracing::level_filters::STATIC_MAX_LEVEL
                &&
                ::tracing::Level::TRACE <=
                    ::tracing::level_filters::LevelFilter::current() &&
            {
                let interest = __CALLSITE.interest();
                !interest.is_never() &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest)
            };
    if enabled {
        (|value_set: ::tracing::field::ValueSet|
                    {
                        let meta = __CALLSITE.metadata();
                        ::tracing::Event::dispatch(meta, &value_set);
                        ;
                    })({
                #[allow(unused_imports)]
                use ::tracing::field::{debug, display, Value};
                let mut iter = __CALLSITE.metadata().fields().iter();
                __CALLSITE.metadata().fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                    ::tracing::__macro_support::Option::Some(&format_args!("load mir(instance={0:?}, promoted={1:?})",
                                                    instance, promoted) as &dyn Value))])
            });
    } else { ; }
};trace!("load mir(instance={:?}, promoted={:?})", instance, promoted);
324        let body = if let Some(promoted) = promoted {
325            let def = instance.def_id();
326            &self.tcx.promoted_mir(def)[promoted]
327        } else {
328            M::load_mir(self, instance)
329        };
330        // do not continue if typeck errors occurred (can only occur in local crate)
331        if let Some(err) = body.tainted_by_errors {
332            do yeet ::rustc_middle::mir::interpret::InterpErrorKind::InvalidProgram(::rustc_middle::mir::interpret::InvalidProgramInfo::AlreadyReported(ReportedErrorInfo::non_const_eval_error(err)));throw_inval!(AlreadyReported(ReportedErrorInfo::non_const_eval_error(err)));
333        }
334        interp_ok(body)
335    }
336
337    /// Call this on things you got out of the MIR (so it is as generic as the current
338    /// stack frame), to bring it into the proper environment for this interpreter.
339    pub fn instantiate_from_current_frame_and_normalize_erasing_regions<
340        T: TypeFoldable<TyCtxt<'tcx>>,
341    >(
342        &self,
343        value: T,
344    ) -> Result<T, ErrorHandled> {
345        self.instantiate_from_frame_and_normalize_erasing_regions(self.frame(), value)
346    }
347
348    /// Call this on things you got out of the MIR (so it is as generic as the provided
349    /// stack frame), to bring it into the proper environment for this interpreter.
350    pub fn instantiate_from_frame_and_normalize_erasing_regions<T: TypeFoldable<TyCtxt<'tcx>>>(
351        &self,
352        frame: &Frame<'tcx, M::Provenance, M::FrameExtra>,
353        value: T,
354    ) -> Result<T, ErrorHandled> {
355        let _trace = <M as
        crate::interpret::Machine>::enter_trace_span(||
        {
            use ::tracing::__macro_support::Callsite as _;
            static __CALLSITE: ::tracing::callsite::DefaultCallsite =
                {
                    static META: ::tracing::Metadata<'static> =
                        {
                            ::tracing_core::metadata::Metadata::new("instantiate_from_frame_and_normalize_erasing_regions",
                                "rustc_const_eval::interpret::eval_context",
                                ::tracing::Level::INFO,
                                ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                                ::tracing_core::__macro_support::Option::Some(355u32),
                                ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                                ::tracing_core::field::FieldSet::new(&["frame.instance"],
                                    ::tracing_core::callsite::Identifier(&__CALLSITE)),
                                ::tracing::metadata::Kind::SPAN)
                        };
                    ::tracing::callsite::DefaultCallsite::new(&META)
                };
            let mut interest = ::tracing::subscriber::Interest::never();
            if ::tracing::Level::INFO <=
                                ::tracing::level_filters::STATIC_MAX_LEVEL &&
                            ::tracing::Level::INFO <=
                                ::tracing::level_filters::LevelFilter::current() &&
                        { interest = __CALLSITE.interest(); !interest.is_never() }
                    &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest) {
                let meta = __CALLSITE.metadata();
                ::tracing::Span::new(meta,
                    &{
                            #[allow(unused_imports)]
                            use ::tracing::field::{debug, display, Value};
                            let mut iter = meta.fields().iter();
                            meta.fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&display(&frame.instance)
                                                        as &dyn Value))])
                        })
            } else {
                let span =
                    ::tracing::__macro_support::__disabled_span(__CALLSITE.metadata());
                {};
                span
            }
        })enter_trace_span!(
356            M,
357            "instantiate_from_frame_and_normalize_erasing_regions",
358            %frame.instance
359        );
360        frame
361            .instance
362            .try_instantiate_mir_and_normalize_erasing_regions(
363                *self.tcx,
364                self.typing_env,
365                ty::EarlyBinder::bind(value),
366            )
367            .map_err(|_| ErrorHandled::TooGeneric(self.cur_span()))
368    }
369
370    /// The `args` are assumed to already be in our interpreter "universe".
371    pub(super) fn resolve(
372        &self,
373        def: DefId,
374        args: GenericArgsRef<'tcx>,
375    ) -> InterpResult<'tcx, ty::Instance<'tcx>> {
376        let _trace = <M as
        crate::interpret::Machine>::enter_trace_span(||
        {
            use ::tracing::__macro_support::Callsite as _;
            static __CALLSITE: ::tracing::callsite::DefaultCallsite =
                {
                    static META: ::tracing::Metadata<'static> =
                        {
                            ::tracing_core::metadata::Metadata::new("resolve",
                                "rustc_const_eval::interpret::eval_context",
                                ::tracing::Level::INFO,
                                ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                                ::tracing_core::__macro_support::Option::Some(376u32),
                                ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                                ::tracing_core::field::FieldSet::new(&["resolve", "def"],
                                    ::tracing_core::callsite::Identifier(&__CALLSITE)),
                                ::tracing::metadata::Kind::SPAN)
                        };
                    ::tracing::callsite::DefaultCallsite::new(&META)
                };
            let mut interest = ::tracing::subscriber::Interest::never();
            if ::tracing::Level::INFO <=
                                ::tracing::level_filters::STATIC_MAX_LEVEL &&
                            ::tracing::Level::INFO <=
                                ::tracing::level_filters::LevelFilter::current() &&
                        { interest = __CALLSITE.interest(); !interest.is_never() }
                    &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest) {
                let meta = __CALLSITE.metadata();
                ::tracing::Span::new(meta,
                    &{
                            #[allow(unused_imports)]
                            use ::tracing::field::{debug, display, Value};
                            let mut iter = meta.fields().iter();
                            meta.fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&display(&"try_resolve")
                                                        as &dyn Value)),
                                            (&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&debug(&def) as
                                                        &dyn Value))])
                        })
            } else {
                let span =
                    ::tracing::__macro_support::__disabled_span(__CALLSITE.metadata());
                {};
                span
            }
        })enter_trace_span!(M, resolve::try_resolve, def = ?def);
377        {
    use ::tracing::__macro_support::Callsite as _;
    static __CALLSITE: ::tracing::callsite::DefaultCallsite =
        {
            static META: ::tracing::Metadata<'static> =
                {
                    ::tracing_core::metadata::Metadata::new("event compiler/rustc_const_eval/src/interpret/eval_context.rs:377",
                        "rustc_const_eval::interpret::eval_context",
                        ::tracing::Level::TRACE,
                        ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                        ::tracing_core::__macro_support::Option::Some(377u32),
                        ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                        ::tracing_core::field::FieldSet::new(&["message"],
                            ::tracing_core::callsite::Identifier(&__CALLSITE)),
                        ::tracing::metadata::Kind::EVENT)
                };
            ::tracing::callsite::DefaultCallsite::new(&META)
        };
    let enabled =
        ::tracing::Level::TRACE <= ::tracing::level_filters::STATIC_MAX_LEVEL
                &&
                ::tracing::Level::TRACE <=
                    ::tracing::level_filters::LevelFilter::current() &&
            {
                let interest = __CALLSITE.interest();
                !interest.is_never() &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest)
            };
    if enabled {
        (|value_set: ::tracing::field::ValueSet|
                    {
                        let meta = __CALLSITE.metadata();
                        ::tracing::Event::dispatch(meta, &value_set);
                        ;
                    })({
                #[allow(unused_imports)]
                use ::tracing::field::{debug, display, Value};
                let mut iter = __CALLSITE.metadata().fields().iter();
                __CALLSITE.metadata().fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                    ::tracing::__macro_support::Option::Some(&format_args!("resolve: {0:?}, {1:#?}",
                                                    def, args) as &dyn Value))])
            });
    } else { ; }
};trace!("resolve: {:?}, {:#?}", def, args);
378        {
    use ::tracing::__macro_support::Callsite as _;
    static __CALLSITE: ::tracing::callsite::DefaultCallsite =
        {
            static META: ::tracing::Metadata<'static> =
                {
                    ::tracing_core::metadata::Metadata::new("event compiler/rustc_const_eval/src/interpret/eval_context.rs:378",
                        "rustc_const_eval::interpret::eval_context",
                        ::tracing::Level::TRACE,
                        ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                        ::tracing_core::__macro_support::Option::Some(378u32),
                        ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                        ::tracing_core::field::FieldSet::new(&["message"],
                            ::tracing_core::callsite::Identifier(&__CALLSITE)),
                        ::tracing::metadata::Kind::EVENT)
                };
            ::tracing::callsite::DefaultCallsite::new(&META)
        };
    let enabled =
        ::tracing::Level::TRACE <= ::tracing::level_filters::STATIC_MAX_LEVEL
                &&
                ::tracing::Level::TRACE <=
                    ::tracing::level_filters::LevelFilter::current() &&
            {
                let interest = __CALLSITE.interest();
                !interest.is_never() &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest)
            };
    if enabled {
        (|value_set: ::tracing::field::ValueSet|
                    {
                        let meta = __CALLSITE.metadata();
                        ::tracing::Event::dispatch(meta, &value_set);
                        ;
                    })({
                #[allow(unused_imports)]
                use ::tracing::field::{debug, display, Value};
                let mut iter = __CALLSITE.metadata().fields().iter();
                __CALLSITE.metadata().fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                    ::tracing::__macro_support::Option::Some(&format_args!("typing_env: {0:#?}",
                                                    self.typing_env) as &dyn Value))])
            });
    } else { ; }
};trace!("typing_env: {:#?}", self.typing_env);
379        {
    use ::tracing::__macro_support::Callsite as _;
    static __CALLSITE: ::tracing::callsite::DefaultCallsite =
        {
            static META: ::tracing::Metadata<'static> =
                {
                    ::tracing_core::metadata::Metadata::new("event compiler/rustc_const_eval/src/interpret/eval_context.rs:379",
                        "rustc_const_eval::interpret::eval_context",
                        ::tracing::Level::TRACE,
                        ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                        ::tracing_core::__macro_support::Option::Some(379u32),
                        ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                        ::tracing_core::field::FieldSet::new(&["message"],
                            ::tracing_core::callsite::Identifier(&__CALLSITE)),
                        ::tracing::metadata::Kind::EVENT)
                };
            ::tracing::callsite::DefaultCallsite::new(&META)
        };
    let enabled =
        ::tracing::Level::TRACE <= ::tracing::level_filters::STATIC_MAX_LEVEL
                &&
                ::tracing::Level::TRACE <=
                    ::tracing::level_filters::LevelFilter::current() &&
            {
                let interest = __CALLSITE.interest();
                !interest.is_never() &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest)
            };
    if enabled {
        (|value_set: ::tracing::field::ValueSet|
                    {
                        let meta = __CALLSITE.metadata();
                        ::tracing::Event::dispatch(meta, &value_set);
                        ;
                    })({
                #[allow(unused_imports)]
                use ::tracing::field::{debug, display, Value};
                let mut iter = __CALLSITE.metadata().fields().iter();
                __CALLSITE.metadata().fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                    ::tracing::__macro_support::Option::Some(&format_args!("args: {0:#?}",
                                                    args) as &dyn Value))])
            });
    } else { ; }
};trace!("args: {:#?}", args);
380        match ty::Instance::try_resolve(*self.tcx, self.typing_env, def, args) {
381            Ok(Some(instance)) => interp_ok(instance),
382            Ok(None) => do yeet ::rustc_middle::mir::interpret::InterpErrorKind::InvalidProgram(::rustc_middle::mir::interpret::InvalidProgramInfo::TooGeneric)throw_inval!(TooGeneric),
383
384            // FIXME(eddyb) this could be a bit more specific than `AlreadyReported`.
385            Err(error_guaranteed) => do yeet ::rustc_middle::mir::interpret::InterpErrorKind::InvalidProgram(::rustc_middle::mir::interpret::InvalidProgramInfo::AlreadyReported(ReportedErrorInfo::non_const_eval_error(error_guaranteed)))throw_inval!(AlreadyReported(
386                ReportedErrorInfo::non_const_eval_error(error_guaranteed)
387            )),
388        }
389    }
390
391    /// Walks up the callstack from the intrinsic's callsite, searching for the first callsite in a
392    /// frame which is not `#[track_caller]`. This matches the `caller_location` intrinsic,
393    /// and is primarily intended for the panic machinery.
394    pub(crate) fn find_closest_untracked_caller_location(&self) -> Span {
395        for frame in self.stack().iter().rev() {
396            {
    use ::tracing::__macro_support::Callsite as _;
    static __CALLSITE: ::tracing::callsite::DefaultCallsite =
        {
            static META: ::tracing::Metadata<'static> =
                {
                    ::tracing_core::metadata::Metadata::new("event compiler/rustc_const_eval/src/interpret/eval_context.rs:396",
                        "rustc_const_eval::interpret::eval_context",
                        ::tracing::Level::DEBUG,
                        ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                        ::tracing_core::__macro_support::Option::Some(396u32),
                        ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                        ::tracing_core::field::FieldSet::new(&["message"],
                            ::tracing_core::callsite::Identifier(&__CALLSITE)),
                        ::tracing::metadata::Kind::EVENT)
                };
            ::tracing::callsite::DefaultCallsite::new(&META)
        };
    let enabled =
        ::tracing::Level::DEBUG <= ::tracing::level_filters::STATIC_MAX_LEVEL
                &&
                ::tracing::Level::DEBUG <=
                    ::tracing::level_filters::LevelFilter::current() &&
            {
                let interest = __CALLSITE.interest();
                !interest.is_never() &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest)
            };
    if enabled {
        (|value_set: ::tracing::field::ValueSet|
                    {
                        let meta = __CALLSITE.metadata();
                        ::tracing::Event::dispatch(meta, &value_set);
                        ;
                    })({
                #[allow(unused_imports)]
                use ::tracing::field::{debug, display, Value};
                let mut iter = __CALLSITE.metadata().fields().iter();
                __CALLSITE.metadata().fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                    ::tracing::__macro_support::Option::Some(&format_args!("find_closest_untracked_caller_location: checking frame {0:?}",
                                                    frame.instance) as &dyn Value))])
            });
    } else { ; }
};debug!("find_closest_untracked_caller_location: checking frame {:?}", frame.instance);
397
398            // Assert that the frame we look at is actually executing code currently
399            // (`loc` is `Right` when we are unwinding and the frame does not require cleanup).
400            let loc = frame.loc.left().unwrap();
401
402            // This could be a non-`Call` terminator (such as `Drop`), or not a terminator at all
403            // (such as `box`). Use the normal span by default.
404            let mut source_info = *frame.body.source_info(loc);
405
406            // If this is a `Call` terminator, use the `fn_span` instead.
407            let block = &frame.body.basic_blocks[loc.block];
408            if loc.statement_index == block.statements.len() {
409                {
    use ::tracing::__macro_support::Callsite as _;
    static __CALLSITE: ::tracing::callsite::DefaultCallsite =
        {
            static META: ::tracing::Metadata<'static> =
                {
                    ::tracing_core::metadata::Metadata::new("event compiler/rustc_const_eval/src/interpret/eval_context.rs:409",
                        "rustc_const_eval::interpret::eval_context",
                        ::tracing::Level::DEBUG,
                        ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                        ::tracing_core::__macro_support::Option::Some(409u32),
                        ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                        ::tracing_core::field::FieldSet::new(&["message"],
                            ::tracing_core::callsite::Identifier(&__CALLSITE)),
                        ::tracing::metadata::Kind::EVENT)
                };
            ::tracing::callsite::DefaultCallsite::new(&META)
        };
    let enabled =
        ::tracing::Level::DEBUG <= ::tracing::level_filters::STATIC_MAX_LEVEL
                &&
                ::tracing::Level::DEBUG <=
                    ::tracing::level_filters::LevelFilter::current() &&
            {
                let interest = __CALLSITE.interest();
                !interest.is_never() &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest)
            };
    if enabled {
        (|value_set: ::tracing::field::ValueSet|
                    {
                        let meta = __CALLSITE.metadata();
                        ::tracing::Event::dispatch(meta, &value_set);
                        ;
                    })({
                #[allow(unused_imports)]
                use ::tracing::field::{debug, display, Value};
                let mut iter = __CALLSITE.metadata().fields().iter();
                __CALLSITE.metadata().fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                    ::tracing::__macro_support::Option::Some(&format_args!("find_closest_untracked_caller_location: got terminator {0:?} ({1:?})",
                                                    block.terminator(), block.terminator().kind) as
                                            &dyn Value))])
            });
    } else { ; }
};debug!(
410                    "find_closest_untracked_caller_location: got terminator {:?} ({:?})",
411                    block.terminator(),
412                    block.terminator().kind,
413                );
414                if let mir::TerminatorKind::Call { fn_span, .. } = block.terminator().kind {
415                    source_info.span = fn_span;
416                }
417            }
418
419            let caller_location = if frame.instance.def.requires_caller_location(*self.tcx) {
420                // We use `Err(())` as indication that we should continue up the call stack since
421                // this is a `#[track_caller]` function.
422                Some(Err(()))
423            } else {
424                None
425            };
426            if let Ok(span) =
427                frame.body.caller_location_span(source_info, caller_location, *self.tcx, Ok)
428            {
429                return span;
430            }
431        }
432
433        ::rustc_middle::util::bug::span_bug_fmt(self.cur_span(),
    format_args!("no non-`#[track_caller]` frame found"))span_bug!(self.cur_span(), "no non-`#[track_caller]` frame found")
434    }
435
436    /// Returns the actual dynamic size and alignment of the place at the given type.
437    /// Only the "meta" (metadata) part of the place matters.
438    /// This can fail to provide an answer for extern types.
439    pub(super) fn size_and_align_from_meta(
440        &self,
441        metadata: &MemPlaceMeta<M::Provenance>,
442        layout: &TyAndLayout<'tcx>,
443    ) -> InterpResult<'tcx, Option<(Size, Align)>> {
444        if layout.is_sized() {
445            return interp_ok(Some((layout.size, layout.align.abi)));
446        }
447        match layout.ty.kind() {
448            ty::Adt(..) | ty::Tuple(..) => {
449                // First get the size of all statically known fields.
450                // Don't use type_of::sizing_type_of because that expects t to be sized,
451                // and it also rounds up to alignment, which we want to avoid,
452                // as the unsized field's alignment could be smaller.
453                if !!layout.ty.is_simd() {
    ::core::panicking::panic("assertion failed: !layout.ty.is_simd()")
};assert!(!layout.ty.is_simd());
454                if !(layout.fields.count() > 0) {
    ::core::panicking::panic("assertion failed: layout.fields.count() > 0")
};assert!(layout.fields.count() > 0);
455                {
    use ::tracing::__macro_support::Callsite as _;
    static __CALLSITE: ::tracing::callsite::DefaultCallsite =
        {
            static META: ::tracing::Metadata<'static> =
                {
                    ::tracing_core::metadata::Metadata::new("event compiler/rustc_const_eval/src/interpret/eval_context.rs:455",
                        "rustc_const_eval::interpret::eval_context",
                        ::tracing::Level::TRACE,
                        ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                        ::tracing_core::__macro_support::Option::Some(455u32),
                        ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                        ::tracing_core::field::FieldSet::new(&["message"],
                            ::tracing_core::callsite::Identifier(&__CALLSITE)),
                        ::tracing::metadata::Kind::EVENT)
                };
            ::tracing::callsite::DefaultCallsite::new(&META)
        };
    let enabled =
        ::tracing::Level::TRACE <= ::tracing::level_filters::STATIC_MAX_LEVEL
                &&
                ::tracing::Level::TRACE <=
                    ::tracing::level_filters::LevelFilter::current() &&
            {
                let interest = __CALLSITE.interest();
                !interest.is_never() &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest)
            };
    if enabled {
        (|value_set: ::tracing::field::ValueSet|
                    {
                        let meta = __CALLSITE.metadata();
                        ::tracing::Event::dispatch(meta, &value_set);
                        ;
                    })({
                #[allow(unused_imports)]
                use ::tracing::field::{debug, display, Value};
                let mut iter = __CALLSITE.metadata().fields().iter();
                __CALLSITE.metadata().fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                    ::tracing::__macro_support::Option::Some(&format_args!("DST layout: {0:?}",
                                                    layout) as &dyn Value))])
            });
    } else { ; }
};trace!("DST layout: {:?}", layout);
456
457                let unsized_offset_unadjusted = layout.fields.offset(layout.fields.count() - 1);
458                let sized_align = layout.align.abi;
459
460                // Recurse to get the size of the dynamically sized field (must be
461                // the last field). Can't have foreign types here, how would we
462                // adjust alignment and size for them?
463                let field = layout.field(self, layout.fields.count() - 1);
464                let Some((unsized_size, mut unsized_align)) =
465                    self.size_and_align_from_meta(metadata, &field)?
466                else {
467                    // A field with an extern type. We don't know the actual dynamic size
468                    // or the alignment.
469                    return interp_ok(None);
470                };
471
472                // # First compute the dynamic alignment
473
474                // Packed type alignment needs to be capped.
475                if let ty::Adt(def, _) = layout.ty.kind()
476                    && let Some(packed) = def.repr().pack
477                {
478                    unsized_align = unsized_align.min(packed);
479                }
480
481                // Choose max of two known alignments (combined value must
482                // be aligned according to more restrictive of the two).
483                let full_align = sized_align.max(unsized_align);
484
485                // # Then compute the dynamic size
486
487                let unsized_offset_adjusted = unsized_offset_unadjusted.align_to(unsized_align);
488                let full_size = (unsized_offset_adjusted + unsized_size).align_to(full_align);
489
490                // Just for our sanitiy's sake, assert that this is equal to what codegen would compute.
491                match (&full_size,
        &(unsized_offset_unadjusted + unsized_size).align_to(full_align)) {
    (left_val, right_val) => {
        if !(*left_val == *right_val) {
            let kind = ::core::panicking::AssertKind::Eq;
            ::core::panicking::assert_failed(kind, &*left_val, &*right_val,
                ::core::option::Option::None);
        }
    }
};assert_eq!(
492                    full_size,
493                    (unsized_offset_unadjusted + unsized_size).align_to(full_align)
494                );
495
496                // Check if this brought us over the size limit.
497                if full_size > self.max_size_of_val() {
498                    do yeet ::rustc_middle::mir::interpret::InterpErrorKind::UndefinedBehavior(::rustc_middle::mir::interpret::UndefinedBehaviorInfo::InvalidMeta(InvalidMetaKind::TooBig));throw_ub!(InvalidMeta(InvalidMetaKind::TooBig));
499                }
500                interp_ok(Some((full_size, full_align)))
501            }
502            ty::Dynamic(expected_trait, _) => {
503                let vtable = metadata.unwrap_meta().to_pointer(self)?;
504                // Read size and align from vtable (already checks size).
505                interp_ok(Some(self.get_vtable_size_and_align(vtable, Some(expected_trait))?))
506            }
507
508            ty::Slice(_) | ty::Str => {
509                let len = metadata.unwrap_meta().to_target_usize(self)?;
510                let elem = layout.field(self, 0);
511
512                // Make sure the slice is not too big.
513                let size = elem.size.bytes().saturating_mul(len); // we rely on `max_size_of_val` being smaller than `u64::MAX`.
514                let size = Size::from_bytes(size);
515                if size > self.max_size_of_val() {
516                    do yeet ::rustc_middle::mir::interpret::InterpErrorKind::UndefinedBehavior(::rustc_middle::mir::interpret::UndefinedBehaviorInfo::InvalidMeta(InvalidMetaKind::SliceTooBig));throw_ub!(InvalidMeta(InvalidMetaKind::SliceTooBig));
517                }
518                interp_ok(Some((size, elem.align.abi)))
519            }
520
521            ty::Foreign(_) => interp_ok(None),
522
523            _ => ::rustc_middle::util::bug::span_bug_fmt(self.cur_span(),
    format_args!("size_and_align_of::<{0}> not supported", layout.ty))span_bug!(self.cur_span(), "size_and_align_of::<{}> not supported", layout.ty),
524        }
525    }
526    #[inline]
527    pub fn size_and_align_of_val(
528        &self,
529        val: &impl Projectable<'tcx, M::Provenance>,
530    ) -> InterpResult<'tcx, Option<(Size, Align)>> {
531        self.size_and_align_from_meta(&val.meta(), &val.layout())
532    }
533
534    /// Jump to the given block.
535    #[inline]
536    pub fn go_to_block(&mut self, target: mir::BasicBlock) {
537        self.frame_mut().loc = Left(mir::Location { block: target, statement_index: 0 });
538    }
539
540    /// *Return* to the given `target` basic block.
541    /// Do *not* use for unwinding! Use `unwind_to_block` instead.
542    ///
543    /// If `target` is `None`, that indicates the function cannot return, so we raise UB.
544    pub fn return_to_block(&mut self, target: Option<mir::BasicBlock>) -> InterpResult<'tcx> {
545        if let Some(target) = target {
546            self.go_to_block(target);
547            interp_ok(())
548        } else {
549            do yeet ::rustc_middle::mir::interpret::InterpErrorKind::UndefinedBehavior(::rustc_middle::mir::interpret::UndefinedBehaviorInfo::Unreachable)throw_ub!(Unreachable)
550        }
551    }
552
553    /// *Unwind* to the given `target` basic block.
554    /// Do *not* use for returning! Use `return_to_block` instead.
555    ///
556    /// If `target` is `UnwindAction::Continue`, that indicates the function does not need cleanup
557    /// during unwinding, and we will just keep propagating that upwards.
558    ///
559    /// If `target` is `UnwindAction::Unreachable`, that indicates the function does not allow
560    /// unwinding, and doing so is UB.
561    #[cold] // usually we have normal returns, not unwinding
562    pub fn unwind_to_block(&mut self, target: mir::UnwindAction) -> InterpResult<'tcx> {
563        self.frame_mut().loc = match target {
564            mir::UnwindAction::Cleanup(block) => Left(mir::Location { block, statement_index: 0 }),
565            mir::UnwindAction::Continue => Right(self.frame_mut().body.span),
566            mir::UnwindAction::Unreachable => {
567                do yeet ::rustc_middle::mir::interpret::InterpErrorKind::UndefinedBehavior(::rustc_middle::mir::interpret::UndefinedBehaviorInfo::Ub(::alloc::__export::must_use({
                    ::alloc::fmt::format(format_args!("unwinding past a stack frame that does not allow unwinding"))
                })));throw_ub_format!("unwinding past a stack frame that does not allow unwinding");
568            }
569            mir::UnwindAction::Terminate(reason) => {
570                self.frame_mut().loc = Right(self.frame_mut().body.span);
571                M::unwind_terminate(self, reason)?;
572                // This might have pushed a new stack frame, or it terminated execution.
573                // Either way, `loc` will not be updated.
574                return interp_ok(());
575            }
576        };
577        interp_ok(())
578    }
579
580    /// Call a query that can return `ErrorHandled`. Should be used for statics and other globals.
581    /// (`mir::Const`/`ty::Const` have `eval` methods that can be used directly instead.)
582    pub fn ctfe_query<T>(
583        &self,
584        query: impl FnOnce(TyCtxtAt<'tcx>) -> Result<T, ErrorHandled>,
585    ) -> Result<T, ErrorHandled> {
586        // Use a precise span for better cycle errors.
587        query(self.tcx.at(self.cur_span())).map_err(|err| {
588            err.emit_note(*self.tcx);
589            err
590        })
591    }
592
593    pub fn eval_global(
594        &self,
595        instance: ty::Instance<'tcx>,
596    ) -> InterpResult<'tcx, MPlaceTy<'tcx, M::Provenance>> {
597        let gid = GlobalId { instance, promoted: None };
598        let val = if self.tcx.is_static(gid.instance.def_id()) {
599            let alloc_id = self.tcx.reserve_and_set_static_alloc(gid.instance.def_id());
600
601            let ty = instance.ty(self.tcx.tcx, self.typing_env);
602            mir::ConstAlloc { alloc_id, ty }
603        } else {
604            self.ctfe_query(|tcx| tcx.eval_to_allocation_raw(self.typing_env.as_query_input(gid)))?
605        };
606        self.raw_const_to_mplace(val)
607    }
608
609    pub fn eval_mir_constant(
610        &self,
611        val: &mir::Const<'tcx>,
612        span: Span,
613        layout: Option<TyAndLayout<'tcx>>,
614    ) -> InterpResult<'tcx, OpTy<'tcx, M::Provenance>> {
615        let _trace = <M as
        crate::interpret::Machine>::enter_trace_span(||
        {
            use ::tracing::__macro_support::Callsite as _;
            static __CALLSITE: ::tracing::callsite::DefaultCallsite =
                {
                    static META: ::tracing::Metadata<'static> =
                        {
                            ::tracing_core::metadata::Metadata::new("const_eval",
                                "rustc_const_eval::interpret::eval_context",
                                ::tracing::Level::INFO,
                                ::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/interpret/eval_context.rs"),
                                ::tracing_core::__macro_support::Option::Some(615u32),
                                ::tracing_core::__macro_support::Option::Some("rustc_const_eval::interpret::eval_context"),
                                ::tracing_core::field::FieldSet::new(&["const_eval", "val"],
                                    ::tracing_core::callsite::Identifier(&__CALLSITE)),
                                ::tracing::metadata::Kind::SPAN)
                        };
                    ::tracing::callsite::DefaultCallsite::new(&META)
                };
            let mut interest = ::tracing::subscriber::Interest::never();
            if ::tracing::Level::INFO <=
                                ::tracing::level_filters::STATIC_MAX_LEVEL &&
                            ::tracing::Level::INFO <=
                                ::tracing::level_filters::LevelFilter::current() &&
                        { interest = __CALLSITE.interest(); !interest.is_never() }
                    &&
                    ::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
                        interest) {
                let meta = __CALLSITE.metadata();
                ::tracing::Span::new(meta,
                    &{
                            #[allow(unused_imports)]
                            use ::tracing::field::{debug, display, Value};
                            let mut iter = meta.fields().iter();
                            meta.fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&display(&"eval_mir_constant")
                                                        as &dyn Value)),
                                            (&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
                                                ::tracing::__macro_support::Option::Some(&debug(&val) as
                                                        &dyn Value))])
                        })
            } else {
                let span =
                    ::tracing::__macro_support::__disabled_span(__CALLSITE.metadata());
                {};
                span
            }
        })enter_trace_span!(M, const_eval::eval_mir_constant, ?val);
616        let const_val = val.eval(*self.tcx, self.typing_env, span).map_err(|err| {
617                if M::ALL_CONSTS_ARE_PRECHECKED {
618                    match err {
619                        ErrorHandled::TooGeneric(..) => {},
620                        ErrorHandled::Reported(reported, span) => {
621                            if reported.is_allowed_in_infallible() {
622                                // These errors can just sometimes happen, even when the expression
623                                // is nominally "infallible", e.g. when running out of memory
624                                // or when some layout could not be computed.
625                            } else {
626                                // Looks like the const is not captured by `required_consts`, that's bad.
627                                ::rustc_middle::util::bug::span_bug_fmt(span,
    format_args!("interpret const eval failure of {0:?} which is not in required_consts",
        val));span_bug!(span, "interpret const eval failure of {val:?} which is not in required_consts");
628                            }
629                        }
630                    }
631                }
632                err.emit_note(*self.tcx);
633                err
634            })?;
635        self.const_val_to_op(const_val, val.ty(), layout)
636    }
637
638    #[must_use]
639    pub fn dump_place(&self, place: &PlaceTy<'tcx, M::Provenance>) -> PlacePrinter<'_, 'tcx, M> {
640        PlacePrinter { ecx: self, place: *place.place() }
641    }
642
643    #[must_use]
644    pub fn generate_stacktrace(&self) -> Vec<FrameInfo<'tcx>> {
645        Frame::generate_stacktrace_from_stack(self.stack(), *self.tcx)
646    }
647
648    pub fn adjust_nan<F1, F2>(&self, f: F2, inputs: &[F1]) -> F2
649    where
650        F1: rustc_apfloat::Float + rustc_apfloat::FloatConvert<F2>,
651        F2: rustc_apfloat::Float,
652    {
653        if f.is_nan() { M::generate_nan(self, inputs) } else { f }
654    }
655}
656
657#[doc(hidden)]
658/// Helper struct for the `dump_place` function.
659pub struct PlacePrinter<'a, 'tcx, M: Machine<'tcx>> {
660    ecx: &'a InterpCx<'tcx, M>,
661    place: Place<M::Provenance>,
662}
663
664impl<'a, 'tcx, M: Machine<'tcx>> std::fmt::Debug for PlacePrinter<'a, 'tcx, M> {
665    fn fmt(&self, fmt: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
666        match self.place {
667            Place::Local { local, offset, locals_addr } => {
668                if true {
    match (&locals_addr, &self.ecx.frame().locals_addr()) {
        (left_val, right_val) => {
            if !(*left_val == *right_val) {
                let kind = ::core::panicking::AssertKind::Eq;
                ::core::panicking::assert_failed(kind, &*left_val,
                    &*right_val, ::core::option::Option::None);
            }
        }
    };
};debug_assert_eq!(locals_addr, self.ecx.frame().locals_addr());
669                let mut allocs = Vec::new();
670                fmt.write_fmt(format_args!("{0:?}", local))write!(fmt, "{local:?}")?;
671                if let Some(offset) = offset {
672                    fmt.write_fmt(format_args!("+{0:#x}", offset.bytes()))write!(fmt, "+{:#x}", offset.bytes())?;
673                }
674                fmt.write_fmt(format_args!(":"))write!(fmt, ":")?;
675
676                self.ecx.frame().locals[local].print(&mut allocs, fmt)?;
677
678                fmt.write_fmt(format_args!(": {0:?}",
        self.ecx.dump_allocs(allocs.into_iter().flatten().collect())))write!(fmt, ": {:?}", self.ecx.dump_allocs(allocs.into_iter().flatten().collect()))
679            }
680            Place::Ptr(mplace) => match mplace.ptr.provenance.and_then(Provenance::get_alloc_id) {
681                Some(alloc_id) => {
682                    fmt.write_fmt(format_args!("by ref {0:?}: {1:?}", mplace.ptr,
        self.ecx.dump_alloc(alloc_id)))write!(fmt, "by ref {:?}: {:?}", mplace.ptr, self.ecx.dump_alloc(alloc_id))
683                }
684                ptr => fmt.write_fmt(format_args!(" integral by ref: {0:?}", ptr))write!(fmt, " integral by ref: {ptr:?}"),
685            },
686        }
687    }
688}