{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
                    // all the subsequent steps will be from_unsafe_deref
                if ty.is_raw_ptr() {
                    reached_raw_pointer = true;