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, AllocId>
) -> 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.