Skip to content

Note invariance reason for FnDef types - #95607

Merged
bors merged 2 commits into
rust-lang:masterfrom
compiler-errors:issue-95272
Apr 5, 2022
Merged

Note invariance reason for FnDef types#95607
bors merged 2 commits into
rust-lang:masterfrom
compiler-errors:issue-95272

Conversation

@compiler-errors

Copy link
Copy Markdown
Contributor

Fixes#95272. Is it worthwhile even printing a variance explanation here? Or should I try to track down which function parameter is responsible for the invariance?

r? @Aaron1011 since you wrote #89336

@rustbotrustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label Apr 2, 2022
@rust-highfiverust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 2, 2022
@compiler-errorscompiler-errors changed the title Issue 95272Note invariance reason for FnDef typesApr 2, 2022
@Aaron1011

Copy link
Copy Markdown
Contributor

It would be nice to mention one of the function parameters in the error message, but we can work on improving this error over time.

@bors r+

@bors

bors commented Apr 4, 2022

Copy link
Copy Markdown
Collaborator

📌 Commit 2c4f845 has been approved by Aaron1011

@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 Apr 4, 2022
Dylan-DPC added a commit to Dylan-DPC/rust that referenced this pull request Apr 4, 2022
…n1011
Note invariance reason for FnDef types
Fixesrust-lang#95272. Is it worthwhile even printing a variance explanation here? Or should I try to track down which function parameter is responsible for the invariance?
r? `@Aaron1011` since you wrote rust-lang#89336
@Dylan-DPCDylan-DPC mentioned this pull request Apr 4, 2022
@Dylan-DPC

Copy link
Copy Markdown
Member

failed in rollup

@bors r-

@borsbors added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Apr 4, 2022
@compiler-errors

compiler-errors commented Apr 5, 2022

Copy link
Copy Markdown
ContributorAuthor

@bors r=Aaron1011

(blessed nll comparison mode)

@bors

bors commented Apr 5, 2022

Copy link
Copy Markdown
Collaborator

📌 Commit 2a129d4 has been approved by Aaron1011

@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-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Apr 5, 2022
Dylan-DPC added a commit to Dylan-DPC/rust that referenced this pull request Apr 5, 2022
…n1011
Note invariance reason for FnDef types
Fixesrust-lang#95272. Is it worthwhile even printing a variance explanation here? Or should I try to track down which function parameter is responsible for the invariance?
r? `@Aaron1011` since you wrote rust-lang#89336
@Dylan-DPCDylan-DPC mentioned this pull request Apr 5, 2022
@Dylan-DPCDylan-DPC mentioned this pull request Apr 5, 2022
bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 5, 2022
Rollup of 5 pull requests
Successful merges:
- rust-lang#95234 (bootstrap.py: nixos check in /etc/os-release with quotes)
- rust-lang#95449 (Fix `x doc --stage 0 compiler`)
- rust-lang#95512 (diagnostics: translation infrastructure)
- rust-lang#95607 (Note invariance reason for FnDef types)
- rust-lang#95645 (Fix intra doc link ICE when trying to get traits in scope for primitive)
Failed merges:
r? `@ghost`
`@rustbot` modify labels: rollup
@bors
bors merged commit 2a7e7bd into rust-lang:masterApr 5, 2022
@rustbotrustbot added this to the 1.62.0 milestone Apr 5, 2022
@compiler-errors
compiler-errors deleted the issue-95272 branch April 7, 2022 04:29
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant 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.

ICE in NLL diagnostics

6 participants

@compiler-errors@Aaron1011@bors@Dylan-DPC@rust-highfive@rustbot