Remove SIZE_T · model-checking/verify-rust-std@8a25371 (original) (raw)

Original file line number Diff line number Diff line change
@@ -114,7 +114,7 @@ fn init_or_get_process_heap() -> c::HANDLE {
114 114 extern "C" fn process_heap_init_and_alloc(
115 115 _heap: MaybeUninit<c::HANDLE>, // We pass this argument to match the ABI of `HeapAlloc`
116 116 flags: c::DWORD,
117 -dwBytes: c::SIZE_T,
117 +dwBytes: usize,
118 118 ) -> c::LPVOID {
119 119 let heap = init_or_get_process_heap();
120 120 if core::intrinsics::unlikely(heap.is_null()) {
@@ -128,7 +128,7 @@ extern "C" fn process_heap_init_and_alloc(
128 128 fn process_heap_alloc(
129 129 _heap: MaybeUninit<c::HANDLE>, // We pass this argument to match the ABI of `HeapAlloc`,
130 130 flags: c::DWORD,
131 -dwBytes: c::SIZE_T,
131 +dwBytes: usize,
132 132 ) -> c::LPVOID {
133 133 let heap = HEAP.load(Ordering::Relaxed);
134 134 if core::intrinsics::likely(!heap.is_null()) {