Skip to content

check_binding_alt_eq_ty: improve precision wrt. if let - #69599

Merged
bors merged 1 commit into
rust-lang:masterfrom
Centril:typeck-tweak-wording
Mar 8, 2020
Merged

check_binding_alt_eq_ty: improve precision wrt. if let#69599
bors merged 1 commit into
rust-lang:masterfrom
Centril:typeck-tweak-wording

Conversation

@Centril

Copy link
Copy Markdown
Contributor

Follow up to #69452 -- this tweaks the check_binding_alt_eq_ty logic wrt. wording so that if let doesn't include "in this arm" (because there can only ever be one arm).

r? @estebank

@rust-highfiverust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 1, 2020
@CentrilCentril added the F-or_patterns `#![feature(or_patterns)]` label Mar 4, 2020
@Centril

Copy link
Copy Markdown
ContributorAuthor

r? @davidtwco

@davidtwco

Copy link
Copy Markdown
Member

@bors r+

@bors

bors commented Mar 7, 2020

Copy link
Copy Markdown
Collaborator

📌 Commit 2746e12 has been approved by davidtwco

@bors

bors commented Mar 7, 2020

Copy link
Copy Markdown
Collaborator

🌲 The tree is currently closed for pull requests below priority 1000, this pull request will be tested once the tree is reopened

@borsbors 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 Mar 7, 2020
Centril added a commit to Centril/rust that referenced this pull request Mar 8, 2020
…idtwco
check_binding_alt_eq_ty: improve precision wrt. `if let`
Follow up to rust-lang#69452 -- this tweaks the `check_binding_alt_eq_ty` logic wrt. wording so that `if let` doesn't include "in this arm" (because there can only ever be one arm).
r? @estebank
@CentrilCentril mentioned this pull request Mar 8, 2020
@CentrilCentril mentioned this pull request Mar 8, 2020
bors added a commit that referenced this pull request Mar 8, 2020
Rollup of 8 pull requests
Successful merges:
- #69422 (Remove use of `unwrap()` from save-analysis)
- #69548 (Turn trailing tokens in `assert!()` into hard errors)
- #69561 (Clean up unstable book)
- #69599 (check_binding_alt_eq_ty: improve precision wrt. `if let`)
- #69641 (Update books)
- #69776 (Fix & test leak of some BTreeMap nodes on panic during `into_iter`)
- #69805 (resolve: Modernize some naming)
- #69810 (test(bindings_after_at): add dynamic drop tests for bindings_after_at)
Failed merges:
r? @ghost
@bors
bors merged commit c717721 into rust-lang:masterMar 8, 2020
@Centril
Centril deleted the typeck-tweak-wording branch March 8, 2020 15:55
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

F-or_patterns`#![feature(or_patterns)]`S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

@Centril@davidtwco@bors@estebank@rust-highfive