{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
                // This is not CTFE, so it's Miri with recursive checking.
            } else {
                // FIXME: we do *not* check behind boxes, since creating a new box first creates it uninitialized