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

Fix associated type bindings with anon const in GAT position #102336

Merged
merged 3 commits into from
Sep 29, 2022

Conversation

compiler-errors
Copy link
Member

The first commit formats type_of.rs, which is really hard to maintain since it uses a bunch of features like let-chains and if let match arm bindings. Best if you just review the second two diffs.

Fixes #102333

@rustbot rustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label Sep 26, 2022
@rust-highfive
Copy link
Collaborator

r? @spastorino

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 26, 2022
@bors
Copy link
Contributor

bors commented Sep 27, 2022

☔ The latest upstream changes (presumably #102306) made this pull request unmergeable. Please resolve the merge conflicts.

@wesleywiser
Copy link
Member

Nominating for beta backport so it can ride the train with GATs stabilization.

@wesleywiser wesleywiser added the beta-nominated Nominated for backporting to the compiler in the beta channel. label Sep 27, 2022
@compiler-errors
Copy link
Member Author

Compared to the other PR I put up that's beta-nominated, this one is less urgent (and harder to backport I think) since it ICEs, and doesn't compile successfully.

@spastorino
Copy link
Member

r? @jackh726

@rust-highfive rust-highfive assigned jackh726 and unassigned spastorino Sep 27, 2022
@jackh726
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Sep 28, 2022

📌 Commit 92561f4 has been approved by jackh726

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Sep 28, 2022
Dylan-DPC added a commit to Dylan-DPC/rust that referenced this pull request Sep 28, 2022
…ckh726

Fix associated type bindings with anon const in GAT position

The first commit formats `type_of.rs`, which is really hard to maintain since it uses a bunch of features like `let`-chains and `if let` match arm bindings. Best if you just review the second two diffs.

Fixes rust-lang#102333
Dylan-DPC added a commit to Dylan-DPC/rust that referenced this pull request Sep 28, 2022
…ckh726

Fix associated type bindings with anon const in GAT position

The first commit formats `type_of.rs`, which is really hard to maintain since it uses a bunch of features like `let`-chains and `if let` match arm bindings. Best if you just review the second two diffs.

Fixes rust-lang#102333
bors added a commit to rust-lang-ci/rust that referenced this pull request Sep 29, 2022
Rollup of 7 pull requests

Successful merges:

 - rust-lang#102336 (Fix associated type bindings with anon const in GAT position)
 - rust-lang#102342 (Add negation methods for signed non-zero integers.)
 - rust-lang#102385 (Don't export `__heap_base` and `__data_end` on wasm32-wasi.)
 - rust-lang#102435 (Improve example of Iterator::reduce)
 - rust-lang#102436 (rustdoc: clean up "normalize.css 8" input override CSS)
 - rust-lang#102452 (fix minor ungrammatical sentence)
 - rust-lang#102455 (Use let-chaining in `WhileTrue::check_expr`.)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 1be9ec5 into rust-lang:master Sep 29, 2022
@rustbot rustbot added this to the 1.66.0 milestone Sep 29, 2022
@apiraino
Copy link
Contributor

apiraino commented Oct 6, 2022

Beta backport accepted as per compiler team on Zulip

@rustbot label +beta-accepted

@rustbot rustbot added the beta-accepted Accepted for backporting to the compiler in the beta channel. label Oct 6, 2022
@cuviper cuviper mentioned this pull request Oct 6, 2022
@cuviper cuviper modified the milestones: 1.66.0, 1.65.0 Oct 6, 2022
@cuviper cuviper removed the beta-nominated Nominated for backporting to the compiler in the beta channel. label Oct 6, 2022
bors added a commit to rust-lang-ci/rust that referenced this pull request Oct 10, 2022
[beta] backports

* Avoid duplicating StorageLive in let-else rust-lang#101894
* Re-add HRTB implied static bug note rust-lang#101924
* Revert "Copy stage0 binaries into stage0-sysroot" rust-lang#101942
* implied_bounds: deal with inference vars rust-lang#102016
* fix ConstProp handling of written_only_inside_own_block_locals rust-lang#102045
* Fix wrongly refactored Lift impl rust-lang#102088
* Fix a typo “pararmeter” in error message rust-lang#102119
* Deny associated type bindings within associated type bindings rust-lang#102338
* Continue migration of CSS themes rust-lang#101934
* Fix search result colors rust-lang#102369
* Fix unwind drop glue for if-then scopes rust-lang#102394
* Revert "Use getentropy when possible on all Apple platforms" rust-lang#102693
* Fix associated type bindings with anon const in GAT position rust-lang#102336
* Revert perf-regression 101620 rust-lang#102064
* `EscapeAscii` is not an `ExactSizeIterator` rust-lang#99880
@compiler-errors compiler-errors deleted the issue-102333 branch November 2, 2022 02:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
beta-accepted Accepted for backporting to the compiler in the beta channel. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

ICEs galore with const-generic associated type in trait bound
9 participants