mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixup comments

Browse Source
This commit is contained in:
Maybe Waffle 2023-05-16 12:09:24 +00:00
parent e39d61cbf3
commit a6197a5dca
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/rustc_data_structures/src/owned_slice.rs
View File

@ -74,10 +74,10 @@ where
O: Send + Sync + 'static, O: Send + Sync + 'static,
F: FnOnce(&O) -> Result<&[u8], E>, F: FnOnce(&O) -> Result<&[u8], E>,
{ {
// We box the owner of the bytes, so it doesn't move. // We wrap the owner of the bytes in, so it doesn't move.
// //
// Since the owner does not move and we don't access it in any way // Since the owner does not move and we don't access it in any way
// before drop, there is nothing that can invalidate the bytes pointer. // before dropping, there is nothing that can invalidate the bytes pointer.
// //
// Thus, "extending" the lifetime of the reference returned from `F` is fine. // Thus, "extending" the lifetime of the reference returned from `F` is fine.
// We pretend that we pass it a reference that lives as long as the returned slice. // We pretend that we pass it a reference that lives as long as the returned slice.
@ -137,11 +137,11 @@ impl Borrow<[u8]> for OwnedSlice {
} }
} }
// Safety: `OwnedSlice` is conceptually `(&'self.1 [u8], Box<dyn Send + Sync>)`, which is `Send` // Safety: `OwnedSlice` is conceptually `(&'self.1 [u8], Arc<dyn Send + Sync>)`, which is `Send`
#[cfg(parallel_compiler)] #[cfg(parallel_compiler)]
unsafe impl Send for OwnedSlice {} unsafe impl Send for OwnedSlice {}
// Safety: `OwnedSlice` is conceptually `(&'self.1 [u8], Box<dyn Send + Sync>)`, which is `Sync` // Safety: `OwnedSlice` is conceptually `(&'self.1 [u8], Arc<dyn Send + Sync>)`, which is `Sync`
#[cfg(parallel_compiler)] #[cfg(parallel_compiler)]
unsafe impl Sync for OwnedSlice {} unsafe impl Sync for OwnedSlice {}