From 53d0e43a51f98a572d69b3373c55c54413e49bb7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9my=20Rakic?= <remy.rakic+github@gmail.com>
Date: Sat, 11 Nov 2023 13:00:44 +0000
Subject: [PATCH] add documentation to `Safety`

---
 crates/formality-prove/src/decls.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/formality-prove/src/decls.rs b/crates/formality-prove/src/decls.rs
index ed94f45c..6f725c01 100644
--- 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)]