feat: Void is now Send + Sync

rand0m-cloud · rand0m-cloud · commit e20793dabf36 · 2022-03-06T14:07:02.000-05:00
diff --git a/src/lib.rs b/src/lib.rs
@@ -69,6 +69,10 @@ impl error::Error for Void {
     }
 }
 
+// SAFETY: safe because `Void` is uninhabitable
+unsafe impl Send for Void {}
+unsafe impl Sync for Void {}
+
 /// A safe version of `intrinsincs::unreachable`.
 ///
 /// If this typechecks, anything that causes this to run is unreachable code.

Original file line number	Diff line number	Diff line change
`@@ -69,6 +69,10 @@ impl error::Error for Void {`
`69`	`69`	`}`
`70`	`70`	`}`
`71`	`71`
	`72`	+// SAFETY: safe because `Void` is uninhabitable
	`73`	`+unsafe impl Send for Void {}`
	`74`	`+unsafe impl Sync for Void {}`
	`75`	`+`
`72`	`76`	/// A safe version of `intrinsincs::unreachable`.
`73`	`77`	`///`
`74`	`78`	`/// If this typechecks, anything that causes this to run is unreachable code.`