{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
                // and then puts the value in there, so briefly we have a box with uninit contents.
                // FIXME: we do *not* check behind boxes, since creating a new box first creates it uninitialized
                // FIXME: should we also skip `UnsafeCell` behind shared references? Currently that is not