1
Fork 0

Add "better" edition handling on lint-docs tool

This commit is contained in:
Santiago Pastorino 2024-05-24 23:58:00 -03:00
parent 698293518d
commit 41d4a95fca
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
2 changed files with 14 additions and 5 deletions

View file

@ -3803,7 +3803,7 @@ declare_lint! {
///
/// ### Example
///
/// ```rust,compile_fail
/// ```rust,edition2018,compile_fail
/// #![deny(rust_2021_incompatible_or_patterns)]
///
/// macro_rules! match_any {
@ -3843,7 +3843,7 @@ declare_lint! {
///
/// ### Example
///
/// ```rust,compile_fail
/// ```rust,edition2018,compile_fail
/// #![deny(rust_2021_prelude_collisions)]
///
/// trait Foo {