{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"ty_and_hash"}]}
                    ty_and_hash = Some((elem_ty, hash_bytes));
                    write_target_uint(self.data_layout().endian, &mut hash_bytes, hash).unwrap();
                    hash_bytes