Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rearrange HRTB grammar. #1011

Merged
merged 1 commit into from
May 28, 2021
Merged

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented May 1, 2021

ForLifetimes are used in multiple places, so I don't think it makes sense to define them as part of WhereClause. Also, I often got confused hitting the "Higher-ranked trait bounds" section and not seeing the grammar there.

@tlyu
Copy link
Contributor

tlyu commented May 23, 2021

This looks good to me, for what it's worth.

@matthewjasper
Copy link
Contributor

Thanks

@matthewjasper matthewjasper merged commit 8bd12af into rust-lang:master May 28, 2021
JohnTitor added a commit to JohnTitor/rust that referenced this pull request Jun 9, 2021
Update books

## reference

4 commits in 9c68af3ce6ccca2395e1868addef26a0542e9ddd..8f598e2af6c25b4a7ee88ef6a8196d9b8ea50ca8
2021-05-24 09:53:32 -0700 to 2021-06-01 19:00:46 +0100
- Add crate and module to glossary. (rust-lang/reference#1016)
- Fix type_length_limit example. (rust-lang/reference#1026)
- Rearrange HRTB grammar. (rust-lang/reference#1011)
- Revert "Temporarily remove pat_param." (rust-lang/reference#1010)

## rustc-dev-guide

6 commits in 50de7f0682adc5d95ce858fe6318d19b4b951553..c8da5bfd1c7c71d90ef1646f5e0a9f6609d5c78a
2021-05-20 15:02:20 +0200 to 2021-06-04 09:08:56 +0200
- Fix some links (rust-lang/rustc-dev-guide#1137)
- explain Miri engine vs Miri-the-tool
- Add more information about no_hash query modifier. (rust-lang/rustc-dev-guide#1133)
- improve section introduction
- not all tools require waiting for a nightly release before they can be fixed
- Describe the difference of rustc_lint vs rustc_lint_defs.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants