Function miri::intern_const_alloc_recursive

source ·

pub fn intern_const_alloc_recursive<'mir, 'tcx, M>(
    ecx: &mut InterpCx<'mir, 'tcx, M>,
    intern_kind: InternKind,
    ret: &MPlaceTy<'tcx>
) -> Result<(), ErrorGuaranteed>where
    'tcx: 'mir,
    M: CompileTimeMachine<'mir, 'tcx, MemoryKind>,

Expand description

Intern ret and everything it references.

This cannot raise an interpreter error. Doing so is left to validation, which tracks where in the value we are and thus can show much better error messages.