reference

reference copied to clipboard

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...

ehuss

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....

ehuss

Consider improving wording about generic functions and traits.

1

In functions.html > A generic function allows one or more parameterized types to appear in its signature. Each type parameter ... In traits.html > Type parameters can be specified for...

crlf0710

Items->Implementations->'Trait Implementation Coherence' describes "overlapping implementation instances" with this sentence: > Two trait implementations overlap when there is a non-empty intersection of the traits the implementation is for, the implementations...

kklibo

Document when the return type of a block expression implicitly becomes `!`

4

The reference currently states > The type of a block is the type of the final expression, or `()` if the final expression is omitted. However, the type of this...

smarnach

6.12 shows `!` syntax for _TraitImpl_ but never explains it

4

6.12 (Implementations) shows syntax where `!` can optionally precede _TypePath_. It looks like this is meant for negative implementations of auto traits? I think there should at least be a...

tlyu

union for an unsafe form of enum

2

I've noticed [you said a feedback regarding readability of this guide is welcome](https://internals.rust-lang.org/t/2018-edition-end-of-week-post-2018-07-20/8019) some time ago, so I'll try to leave some as I'm following along. I haven't used Github...

aleksator

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

ehuss

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...

ehuss

As it stands the text reads: _In particular, in addition to the rule about ambiguous expansions, a nonterminal matched by a metavariable must be followed by a token which has...

tialaramex