{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, (&mut Allocation<M::Provenance, M::AllocExtra, M::Bytes>, &mut M)> {
        id: AllocId,
        // We have "NLL problem case #3" here, which cannot be worked around without loss of