Make pal/windows default to deny unsafe in unsafe · model-checking/verify-rust-std@d96ed86 (original) (raw)

Original file line number Diff line number Diff line change
@@ -227,8 +227,10 @@ pub fn set_file_information_by_handle<T: SetFileInformation>(
227 227 info: *const c_void,
228 228 size: u32,
229 229 ) -> Result<(), WinError> {
230 -let result = c::SetFileInformationByHandle(handle, class, info, size);
231 -(result != 0).then_some(()).ok_or_else(get_last_error)
230 +unsafe {
231 +let result = c::SetFileInformationByHandle(handle, class, info, size);
232 +(result != 0).then_some(()).ok_or_else(get_last_error)
233 +}
232 234 }
233 235 // SAFETY: The `SetFileInformation` trait ensures that this is safe.
234 236 unsafe { set_info(handle, T::CLASS, info.as_ptr(), info.size()) }