Remove LPCVOID · model-checking/verify-rust-std@61f617d (original) (raw)

2 files changed

lines changed

Original file line number	Diff line number	Diff line change
@@ -21,7 +21,6 @@ pub type DWORD = c_ulong;
21	21	pub type WCHAR = u16;
22	22	pub type ULONG = c_ulong;
23	23
24		-pub type LPCVOID = *const c_void;
25	24	pub type LPOVERLAPPED = *mut OVERLAPPED;
26	25	pub type LPSECURITY_ATTRIBUTES = *mut SECURITY_ATTRIBUTES;
27	26	pub type LPVOID = *mut c_void;

Original file line number	Diff line number	Diff line change
@@ -1425,7 +1425,7 @@ pub fn copy(from: &Path, to: &Path) -> io::Result {
1425	1425	_dwCallbackReason: c::DWORD,
1426	1426	_hSourceFile: c::HANDLE,
1427	1427	_hDestinationFile: c::HANDLE,
1428		-lpData: c::LPCVOID,
	1428	+lpData: *const c_void,
1429	1429	) -> c::DWORD {
1430	1430	if dwStreamNumber == 1 {
1431	1431	(lpData as mut i64) = StreamBytesTransferred;