bors 5bcd86d89b Auto merge of #119329 - Nadrieril:reveal-opaques-early, r=compiler-errors ... Exhaustiveness: Statically enforce revealing of opaques In https://github.com/rust-lang/rust/pull/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`		2024-01-06 02:00:24 +00:00
..
build	Rollup merge of #119563 - compiler-errors:coroutine-resume, r=oli-obk	2024-01-05 20:39:53 +01:00
thir	Auto merge of #119329 - Nadrieril:reveal-opaques-early, r=compiler-errors	2024-01-06 02:00:24 +00:00
check_unsafety.rs	Handle context for const patterns correctly	2024-01-05 10:00:59 +00:00
errors.rs	Rename some Diagnostic setters.	2024-01-03 19:40:20 +11:00
lib.rs	Stabilize THIR unsafeck	2024-01-05 10:00:59 +00:00
lints.rs	rustc: hir().local_def_id_to_hir_id() -> tcx.local_def_id_to_hir_id() cleanup	2023-11-26 12:41:21 +03:00