add documentation to Safety

lqd · lqd · commit 53d0e43a51f9 · 2023-11-11T23:31:11.000Z
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)]

Original file line number	Diff line number	Diff line change
`@@ -142,6 +142,7 @@ pub struct NegImplDeclBoundData {`
`142`	`142`	`pub where_clause: Wcs,`
`143`	`143`	`}`
`144`	`144`
	`145`	+/// Mark a trait or trait impl as `unsafe`.
`145`	`146`	`#[term]`
`146`	`147`	`#[customize(debug)]`
`147`	`148`	`#[derive(Default)]`