-
Notifications
You must be signed in to change notification settings - Fork 782
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ensure all APIs have safety notes #![deny(clippy::missing_safety_doc)]
#698
Labels
Milestone
Comments
davidhewitt
changed the title
Address clippy warning: unsafe function's docs miss
Ensure all APIs have safety notes Aug 6, 2020
# Safety
section#![deny(clippy::missing_safety_doc)]
It would be really cool to try and achieve this in |
This was referenced Jan 15, 2021
Merged
afaik, there are just two of these left:
|
Oh nice, I hadn't noticed we were so close! For 1. I was thinking of tidying up the |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We have many unsafe APIs but they have poorly documented with their safe precondition, which makes clippy unhappy.
I don't think we need to address all those warnings, but maybe it is variable to add
#Safety
section to common unsafe APIs!The text was updated successfully, but these errors were encountered: