fix names in feature(...) suggestion

This commit is contained in:
Mario Carneiro 2022-02-21 01:17:37 -08:00 committed by GitHub
parent 026d8ce7f5
commit c1d75a27b2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -453,7 +453,7 @@ pub const BUILTIN_ATTRIBUTES: &[BuiltinAttribute] = &[
// Internal attributes: Stability, deprecation, and unsafe: // Internal attributes: Stability, deprecation, and unsafe:
// ========================================================================== // ==========================================================================
ungated!(feature, CrateLevel, template!(List: "name1, name1, ..."), DuplicatesOk), ungated!(feature, CrateLevel, template!(List: "name1, name2, ..."), DuplicatesOk),
// DuplicatesOk since it has its own validation // DuplicatesOk since it has its own validation
ungated!( ungated!(
rustc_deprecated, Normal, rustc_deprecated, Normal,