Address review comments

This commit is contained in:
Aaron Hill 2021-08-21 14:11:36 -05:00
parent 17aef21b30
commit 62aea8c913
No known key found for this signature in database
GPG key ID: B4087E510E98B164
4 changed files with 578 additions and 854 deletions

View file

@ -251,7 +251,7 @@ pub const BUILTIN_ATTRIBUTES: &[BuiltinAttribute] = &[
// Modules, prelude, and resolution:
ungated!(path, Normal, template!(NameValueStr: "file")),
ungated!(no_std, CrateLevel, template!(Word)),
ungated!(no_implicit_prelude, CrateLevel, template!(Word)),
ungated!(no_implicit_prelude, Normal, template!(Word)),
ungated!(non_exhaustive, Normal, template!(Word)),
// Runtime