Allow audited type-erased Send fields

2026-07-31 03:21:25 +02:00
parent b769aa0f1c
commit 6271660ab3
1 changed files with 5 additions and 0 deletions
@@ -34,6 +34,11 @@ shadow_reuse = "deny"
 shadow_same = "deny"
 shadow_unrelated = "deny"

+# The wrappers' private field is deliberately type-erased and therefore cannot
+# express Send/Sync structurally. Their audited APIs preserve the element bounds
+# documented on the corresponding unsafe implementations.
+non_send_fields_in_send_ty = { level = "allow", priority = 1 }
+
 # Force using expect and providing a reason
 allow_attributes = "deny"
 allow_attributes_without_reason = "deny"