Searched defs:size_info (Results 1 – 1 of 1) sorted by relevance
35 pub(crate) size_info: SizeInfo, field635 let size_info = match self.size_info.try_to_nonzero_elem_size() { in validate_cast_and_convert_metadata() localVariable1633 let size_info = match args.elem_size { in test_validate_rust_layout() localVariable1961 let size_info: SizeInfo = kani::any(); in any() localVariable