You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Declaring an external function as safe is a form of safety assertion, so it should be covered by undocumented_unsafe_blocks and require a // SAFETY: comment. (Or some kind of new group as that lint name is specific to blocks (containing #13316 too), but my expectation is that everyone enabling the existing lint actually wants the more general form).
Description
Declaring an external function as
safe
is a form of safety assertion, so it should be covered byundocumented_unsafe_blocks
and require a// SAFETY:
comment. (Or some kind of new group as that lint name is specific to blocks (containing #13316 too), but my expectation is that everyone enabling the existing lint actually wants the more general form).I tried this code:
I expected to see this happen: something like the
error: unsafe block missing a safety comment
messageInstead, this happened: no lint
Version
Additional Labels
No response
The text was updated successfully, but these errors were encountered: