Eric Huss

Some undefined behavior found during CTFE is now treated as an error as of https://github.com/rust-lang/rust/pull/86194. I think https://github.com/rust-lang/reference/blob/master/src/const_eval.md should detail which errors are detected, but Ralf indicated in https://github.com/rust-lang/rust/pull/86194#issuecomment-864803029 that...

The closure type page needs to be updated for the 2021 changes. See [RFC 2229](https://github.com/rust-lang/rfcs/blob/master/text/2229-capture-disjoint-fields.md) and [edition guide chapter](https://github.com/rust-lang/edition-guide/blob/master/src/rust-2021/disjoint-capture-in-closures.md). (Note: PR #1059 is already open to resolve this.)

Add details on how names are introduced.

1

This expands on several sections to specify exactly which names are introduced by items. This also contains a few tangential updates, such as explaining what `Self` is and how it...

Document name resolution.

6

Name resolution should be documented. This is a large topic. A few pieces I can think of: - [ ] How items are added to scope (#129). - Don't forget...

Document type_alias_enum_variants

4

Stabilized in: https://github.com/rust-lang/rust/pull/61682 RFC (issue): https://github.com/rust-lang/rfcs/issues/2218 Issue: https://github.com/rust-lang/rust/issues/52118 ~~There is a brief mention of this at the bottom of https://github.com/rust-lang-nursery/reference/blob/master/src/items/type-aliases.md that should be updated.~~ Example has been updated in #831....

Attribute macros must be placed before `derive` attributes.

3

I can't find this anywhere in the reference. ```rust #[derive(Debug)] #[my_awesome_macro] // This is an error. struct S; ``` Currently unstable, see: https://github.com/rust-lang/rust/issues/81119

The reference currently doesn't really make it clear how certain steps of translation happen, how they relate to one another, and the significance. I think it would be useful to...

There are a number of places that talk about a "future" with a lowercase `f`, but what a "future" is is never defined. It can maybe be inferred that it...

Fix/clarify inert/active attributes, and attribute sequence.

2

The inert/active attribute description is not be correct. The following comment needs to be incorporated: https://github.com/rust-lang-nursery/reference/pull/537#pullrequestreview-218090880 However, I think the inert/active distinction is subtle and should have more clarification. It...

The lexical specification needs some cleanup and organization. Some things I can think of: - [ ] There should be an overall introduction and overview of the lexical structure. -...