Don't use doc comment

tautschnig · tautschnig · commit 2ce92f2ff183 · 2025-04-23T07:52:47.000Z
diff --git a/library/core/src/ptr/alignment.rs b/library/core/src/ptr/alignment.rs
@@ -404,7 +404,7 @@ mod verify {
         }
     }
 
-    /// FIXME, c.f. https://github.com/model-checking/kani/issues/3905
+    // FIXME, c.f. https://github.com/model-checking/kani/issues/3905
     // // pub const fn of<T>() -> Self
     // #[kani::proof_for_contract(Alignment::of)]
     // pub fn check_of_i32() {

Original file line number	Diff line number	Diff line change
`@@ -404,7 +404,7 @@ mod verify {`
`404`	`404`	`}`
`405`	`405`	`}`
`406`	`406`
`407`		`- /// FIXME, c.f. https://github.com/model-checking/kani/issues/3905`
	`407`	`+ // FIXME, c.f. https://github.com/model-checking/kani/issues/3905`
`408`	`408`	`// // pub const fn of<T>() -> Self`
`409`	`409`	`// #[kani::proof_for_contract(Alignment::of)]`
`410`	`410`	`// pub fn check_of_i32() {`