rust/src/tools/lint-docs/src
Tobias Bucher bf96c56e84 Rename deprecated_safe lint to deprecated_safe_2024
Create a lint group `deprecated_safe` that includes
`deprecated_safe_2024`.

Addresses https://github.com/rust-lang/rust/issues/124866#issuecomment-2142814375.
2024-07-17 14:39:56 +02:00
..
groups.rs Rename deprecated_safe lint to deprecated_safe_2024 2024-07-17 14:39:56 +02:00
lib.rs use "bootstrap" instead of "rustbuild" in comments and docs 2024-07-07 00:07:08 +03:00
main.rs lint-docs: Add some extra detail to the error message. 2020-11-29 07:39:36 -08:00