Add safety comment to fix tidy · model-checking/verify-rust-std@bb6d4eb (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Commit bb6d4eb

Add safety comment to fix tidy

File tree

1 file changed

lines changed

1 file changed

lines changed

Original file line number Diff line number Diff line change
@@ -259,6 +259,8 @@ async unsafe fn either<O: IntoFuture<Output = ()>, M: IntoFuture<Output = ()>, T
259 259 #[cfg(not(bootstrap))]
260 260 #[lang = "async_drop_deferred_drop_in_place"]
261 261 async unsafe fn deferred_drop_in_place<T>(to_drop: *mut T) {
262 +// SAFETY: same safety requirements as with drop_in_place (implied by
263 +// function's name)
262 264 unsafe { crate::ptr::drop_in_place(to_drop) }
263 265 }
264 266