{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
                // (`size` can only be 0 if `len` is 0, and empty arrays are always valid.)
                // If the size is 0, there is nothing to check.
                if size == Size::ZERO {