Skip to content

Commit

Permalink
Auto merge of #119329 - Nadrieril:reveal-opaques-early, r=compiler-er…
Browse files Browse the repository at this point in the history
…rors

Exhaustiveness: Statically enforce revealing of opaques

In rust-lang/rust#116821 it was decided that exhaustiveness should operate on the hidden type of an opaque type when relevant. This PR makes sure we consistently reveal opaques within exhaustiveness. This makes it possible to remove `reveal_opaque_ty` from the `TypeCx` trait which was an unfortunate implementation detail.

r? `@compiler-errors`
  • Loading branch information
bors committed Jan 6, 2024
2 parents 051598c + 09a54d5 commit 80ea38b
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 80ea38b

Please sign in to comment.