W1005: unsafe omitted documentation

Documentation Index

Fetch the complete documentation index at: https://docs.brim-lang.com/llms.txt

Use this file to discover all available pages before exploring further.

​

What this means

​

Metadata

• Code: W1005
• Default level: Warning
• Phase: General
• Canonical docs URL: https://docs.brim-lang.com/diagnostics/W1005
• Tags: lint, unsafe, docs

​

How to fix

• document safety proof obligations

​

Typical output

W1005: unsafe omitted documentation
note: unsafe block lacks rationale comment