{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"if"}]}
            if read_target_uint(self.data_layout().endian, hash_frag).unwrap() != elem_hash.into() {
            let hash_frag = &full_hash[(idx as usize) * ptr_size..][..ptr_size];
                throw_ub_format!(