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