Skip to content

Commit

Permalink
Auto merge of #100315 - compiler-errors:norm-ct-in-proj, r=lcnr
Browse files Browse the repository at this point in the history
Keep going if normalized projection has unevaluated consts in `QueryNormalizer`

#100312 was the wrong approach, I think this is the right one.

When normalizing a type, if we see that it's a projection, we currently defer to `tcx.normalize_projection_ty`, which normalizes the projections away but doesn't touch the unevaluated constants. So now we just continue to fold the type if it has unevaluated constants so we make sure to evaluate those too, if we can.

Fixes #100217
Fixes #83972
Fixes #84669
Fixes #86710
Fixes #82268
Fixes #73298
  • Loading branch information
bors committed Aug 11, 2022
2 parents 7f55fef + 36aad2b commit 3a9feb8
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 3a9feb8

Please sign in to comment.