Uh oh!
There was an error while loading. Please reload this page.
Fix another ICE in point_at_expr_source_of_inferred_type - #108667
Merged
Conversation
rustbot
commented
Mar 2, 2023
Collaborator
(rustbot has picked a reviewer for you, use r? to override) |
Uh oh!
There was an error while loading. Please reload this page.
estebank
commented
Mar 3, 2023
Contributor
I'm ok with reverting if there's a better approach (that doesn't slow down the happy-path). Feel free to add @Nilstrieb's requested comment. |
bors
commented
Mar 3, 2023
Collaborator
matthiaskrgr added a commit
to matthiaskrgr/rust
that referenced
this pull request
Mar 3, 2023
…tebank Fix another ICE in `point_at_expr_source_of_inferred_type` Types coming from method probes must only be investigated *structurally*, since they often contain escaping infer variables from generalization and autoderef. We already have a hack in this PR that erases variables from types, so just use that. Fixesrust-lang#108664 The note attached to this error is pretty bad: ``` here the type of `primes` is inferred to be `[_]` ``` But that's unrelated to the PR. --- Side-note: This is a pretty easy to trigger beta regression, so I've nominated it. Alternatively, I'm slightly inclined to remove this code altogether until it can be reformulated to be more accurate and less ICEy.
Contributor
Unilaterally beta-approving. (Well, @wesleywiser approved too; is there "duolaterally"/"bilaterally" ...?) @rustbot label: beta-accepted |
Member
I just tried cherry-picking this on beta for #108670, and the test still ICEs (locally, not pushed yet): Test outputIs there perhaps a dependent change that we'll also need to backport? |
compiler-errors
commented
Mar 3, 2023
ContributorAuthor
Ugh, yes, probably need #107175 as well :/ |
cuviper
commented
Mar 3, 2023
Member
OK, with that it doesn't ICE, but there's some UI diff (which I could bless): But on zulip it sounds like we'll want some reverts instead... |
cuviper
commented
Mar 3, 2023
Member
bors added a commit
to rust-lang-ci/rust
that referenced
this pull request
Mar 3, 2023
…iaskrgr Rollup of 7 pull requests Successful merges: - rust-lang#107981 (new solver: implement canonicalization and region constraints) - rust-lang#108553 (Deny capturing late-bound non-lifetime param in anon const) - rust-lang#108599 (Remove legacy PM leftovers) - rust-lang#108667 (Fix another ICE in `point_at_expr_source_of_inferred_type`) - rust-lang#108674 (Clippy Fix array-size-threshold config deserialization error) - rust-lang#108685 (Match unmatched backticks in compiler/) - rust-lang#108694 (Match unmatched backticks in compiler/ comments) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for freeto join this conversation on GitHub.
Already have an account?
Sign in to comment
8 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Types coming from method probes must only be investigated structurally, since they often contain escaping infer variables from generalization and autoderef. We already have a hack in this PR that erases variables from types, so just use that.
Fixes#108664
The note attached to this error is pretty bad:
But that's unrelated to the PR.
Side-note: This is a pretty easy to trigger beta regression, so I've nominated it. Alternatively, I'm slightly inclined to remove this code altogether until it can be reformulated to be more accurate and less ICEy.