RFC2229: Use the correct place type #87161
Merged
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.
Closes #87097
The ICE occurred because instead of looking at the type of the place after all the projections are applied, we instead looked at the
base_ty
of the Place to decide whether a discriminant should be read of not. This lead to two issues:Adt
since we only look at thebase_ty
, it could be insteadRef
for exampleAdt
you could still be looking at the wrong variant to make a decision on whether the discriminant should be read or notr? @nikomatsakis