{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
            // A 'fake' integer pointer is not sufficiently dereferenceable.
        if pointee.size.bytes() > 0 {
            return Ok(false);