{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
                            // there is no need to read their length
                            // Arrays have a statically known size, so
                            || place.place.ty().peel_refs().is_array()