Crate safety_guard

Provides a #[safety] attribute for generating a corresponding section in the documentation and, if provided, checks for a constraint in debug builds.

Attribute Macros

• safety
  Adds a # Safety section to the documentation of the function and tests the given constraints in debug builds.