{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
            // If this is the first element, remember the type and its hash.
            let (elem_ty, elem_hash) = self.get_ptr_type_id(elem)?;
            // If this is not the first element, ensure it is consistent with the previous ones.