Skip to content

Point at where clauses where the associated item was restricted #65994

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

Merged
merged 1 commit into from
Nov 9, 2019

Conversation

estebank
Copy link
Contributor

@estebank estebank commented Oct 31, 2019

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Oct 31, 2019
@estebank
Copy link
Contributor Author

I would also like to also handle the case in src/test/ui/associated-types/point-at-type-on-obligation-failure.rs, but I've been unable to figure out how to get the binding part (Bar2<Ok=Self::Ok>) of type Sibling: Bar2<Ok=Self::Ok>;.

@rust-highfive

This comment has been minimized.

LL | type Assoc;
| ----- associated type defined here
...
LL | impl Bat for () {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think the error would be clearer if this part came first, followed by the explanation of the origin of the requirement.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is borne of a limitation we have today, we can't have subdiagnostics with multiple span labels, so it's either this or the more verbose "one subdiagnostic per span" output, which I try to avoid.

@nikomatsakis
Copy link
Contributor

@bors r+

@bors
Copy link
Collaborator

bors commented Nov 8, 2019

📌 Commit 9534b58 has been approved by nikomatsakis

@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 Nov 8, 2019
Centril added a commit to Centril/rust that referenced this pull request Nov 8, 2019
Point at where clauses where the associated item was restricted

CC rust-lang#57663.
r? @nikomatsakis
Centril added a commit to Centril/rust that referenced this pull request Nov 9, 2019
Point at where clauses where the associated item was restricted

CC rust-lang#57663.
r? @nikomatsakis
Centril added a commit to Centril/rust that referenced this pull request Nov 9, 2019
Point at where clauses where the associated item was restricted

CC rust-lang#57663.
r? @nikomatsakis
bors added a commit that referenced this pull request Nov 9, 2019
Rollup of 6 pull requests

Successful merges:

 - #65949 (Move promotion into its own pass)
 - #65994 (Point at where clauses where the associated item was restricted)
 - #66050 (Fix C aggregate-passing ABI on powerpc)
 - #66134 (Point at formatting descriptor string when it is invalid)
 - #66172 (Stabilize @file command line arguments)
 - #66226 (add link to unstable book for asm! macro)

Failed merges:

r? @ghost
@bors bors merged commit 9534b58 into rust-lang:master Nov 9, 2019
@estebank estebank deleted the where-bound branch November 9, 2023 05:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: 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