Skip to content

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

New issue

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

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

Already on GitHub? # to your account

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
Contributor

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
Collaborator

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
Collaborator

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
# for free to join this conversation on GitHub. Already have an account? # 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