grrrrrrrrrrrrrr

nia-e · RalfJung · commit d2f07786da39 · 2025-07-08T22:02:18.000+02:00
diff --git a/src/shims/native_lib/trace/stub.rs b/src/shims/native_lib/trace/stub.rs
@@ -16,8 +16,7 @@ impl Supervisor {
     }
 }
 
-#[expect(clippy::missing_safety_doc)]
-#[allow(dead_code)]
+#[allow(dead_code, clippy::missing_safety_doc)]
 #[inline(always)]
 pub unsafe fn init_sv() -> Result<(), !> {
     Ok(())

Original file line number	Diff line number	Diff line change
`@@ -16,8 +16,7 @@ impl Supervisor {`
`16`	`16`	`}`
`17`	`17`	`}`
`18`	`18`
`19`		`-#[expect(clippy::missing_safety_doc)]`
`20`		`-#[allow(dead_code)]`
	`19`	`+#[allow(dead_code, clippy::missing_safety_doc)]`
`21`	`20`	`#[inline(always)]`
`22`	`21`	`pub unsafe fn init_sv() -> Result<(), !> {`
`23`	`22`	`Ok(())`