add documentation to Safety

rust-lang · Nov 11, 2023 · dcf536e · dcf536e
1 parent 5ba1052
commit dcf536e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/crates/formality-prove/src/decls.rs b/crates/formality-prove/src/decls.rs
@@ -142,6 +142,7 @@ pub struct NegImplDeclBoundData {
     pub where_clause: Wcs,
 }
 
+/// Mark a trait or trait impl as `unsafe`.
 #[term]
 #[customize(debug)]
 #[derive(Default)]