Skip to content

Taint _ placeholder types in trait impl method signatures - #119896

Merged
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:variance_ice
Jan 13, 2024
Merged

Taint _ placeholder types in trait impl method signatures#119896
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:variance_ice

Conversation

@oli-obk

Copy link
Copy Markdown
Contributor

We report an error right below for them, but that kind of broken type can cause subsequent ICEs.

fixes#119867

@oli-obk
oli-obk marked this pull request as ready for review January 12, 2024 16:35
@rustbot

Copy link
Copy Markdown
Collaborator

r? @wesleywiser

(rustbot has picked a reviewer for you, use r? to override)

@rustbotrustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jan 12, 2024

@compiler-errorscompiler-errors left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

r=me if green

@oli-obk

Copy link
Copy Markdown
ContributorAuthor

@bors r=compiler-errors

@bors

bors commented Jan 13, 2024

Copy link
Copy Markdown
Collaborator

📌 Commit 4586fdc has been approved by compiler-errors

It is now in the queue for this repository.

@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 Jan 13, 2024
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Jan 13, 2024
…rrors
Taint `_` placeholder types in trait impl method signatures
We report an error right below for them, but that kind of broken type can cause subsequent ICEs.
fixesrust-lang#119867
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 13, 2024
…iaskrgr
Rollup of 5 pull requests
Successful merges:
- rust-lang#119891 (rename `reported_signature_mismatch` to reflect its use)
- rust-lang#119894 (Allow `~const` on associated type bounds again)
- rust-lang#119896 (Taint `_` placeholder types in trait impl method signatures)
- rust-lang#119898 (Remove unused `ErrorReporting` variant from overflow handling)
- rust-lang#119902 (fix typo in `fn()` docs)
r? `@ghost`
`@rustbot` modify labels: rollup
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 13, 2024
…iaskrgr
Rollup of 6 pull requests
Successful merges:
- rust-lang#119587 (Varargs support for system ABI)
- rust-lang#119891 (rename `reported_signature_mismatch` to reflect its use)
- rust-lang#119894 (Allow `~const` on associated type bounds again)
- rust-lang#119896 (Taint `_` placeholder types in trait impl method signatures)
- rust-lang#119898 (Remove unused `ErrorReporting` variant from overflow handling)
- rust-lang#119902 (fix typo in `fn()` docs)
r? `@ghost`
`@rustbot` modify labels: rollup
@bors
bors merged commit 9696ef7 into rust-lang:masterJan 13, 2024
@rustbotrustbot added this to the 1.77.0 milestone Jan 13, 2024
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Jan 13, 2024
Rollup merge of rust-lang#119896 - oli-obk:variance_ice, r=compiler-errors
Taint `_` placeholder types in trait impl method signatures
We report an error right below for them, but that kind of broken type can cause subsequent ICEs.
fixesrust-lang#119867
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: ` unexpected region encountered in variance inference: ReLateParam(DefId´

5 participants

@oli-obk@rustbot@bors@compiler-errors@wesleywiser