{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//"}]}
            // 3]` to a wide pointer of type `*mut [i32]` (with
            // field `ptr` from a thin pointer of type `*mut [i32;
            // extra data `3`). **The purpose of this check is to