bors b71fb5edc0 Auto merge of #132460 - lcnr:questionable-uwu, r=compiler-errors ... Use `TypingMode` throughout the compiler instead of `ParamEnv` Hopefully the biggest single PR as part of https://github.com/rust-lang/types-team/issues/128. ## `infcx.typing_env` while defining opaque types I don't know how'll be able to correctly handle opaque types when using something taking a `TypingEnv` while defining opaque types. To correctly handle the opaques we need to be able to pass in the current `opaque_type_storage` and return constraints, i.e. we need to use a proper canonical query. We should migrate all the queries used during HIR typeck and borrowck where this matters to proper canonical queries. This is ## `layout_of` and `Reveal::All` We convert the `ParamEnv` to `Reveal::All` right at the start of the `layout_of` query, so I've changed callers of `layout_of` to already use a post analysis `TypingEnv` when encountering it. ca87b535a0/compiler/rustc_ty_utils/src/layout.rs (L51) ## `Ty::is_[unpin|sized|whatever]` I haven't migrated `fn is_item_raw` to use `TypingEnv`, will do so in a followup PR, this should significantly reduce the amount of `typing_env.param_env`. At some point there will probably be zero such uses as using the type system while ignoring the `typing_mode` is incorrect. ## `MirPhase` and phase-transitions When inside of a MIR-body, we can mostly use its `MirPhase` to figure out the right `typing_mode`. This does not work during phase transitions, most notably when transitioning from `Analysis` to `Runtime`: dae7ac133b/compiler/rustc_mir_transform/src/lib.rs (L606-L625) All these passes still run with `MirPhase::Analysis`, but we should only use `Reveal::All` once we're run the `RevealAll` pass. This required me to manually construct the right `TypingEnv` in all these passes. Given that it feels somewhat easy to accidentally miss this going forward, I would maybe like to change `Body::phase` to an `Option` and replace it at the start of phase transitions. This then makes it clear that the MIR is currently in a weird state. r? `@ghost`		2024-11-18 21:07:05 +00:00
..
dep_graph	Reformat using the new identifier sorting from rustfmt	2024-09-22 19:11:29 -04:00
hir	compiler: Directly use rustc_abi in metadata and middle	2024-11-03 13:38:47 -08:00
hooks	Reformat using the new identifier sorting from rustfmt	2024-09-22 19:11:29 -04:00
infer	Remove associated type based effects logic	2024-10-24 09:46:36 +00:00
middle	stability: remove skip_stability_check_due_to_privacy	2024-11-18 08:07:46 +01:00
mir	use TypingEnv when no infcx is available	2024-11-18 10:38:56 +01:00
query	use TypingEnv when no infcx is available	2024-11-18 10:38:56 +01:00
thir	various fixes for naked_asm! implementation	2024-10-06 19:00:09 +02:00
traits	Manually register some bounds for a better span	2024-11-08 04:56:08 +00:00
ty	Auto merge of #132460 - lcnr:questionable-uwu, r=compiler-errors	2024-11-18 21:07:05 +00:00
util	use TypingEnv when no infcx is available	2024-11-18 10:38:56 +01:00
arena.rs	compiler: Directly use rustc_abi in metadata and middle	2024-11-03 13:38:47 -08:00
error.rs	Use bool in favor of Option<()> for diagnostics	2024-08-21 01:31:11 -04:00
lib.rs	move strict provenance lints to new feature gate, remove old feature gates	2024-10-21 15:22:17 +01:00
lint.rs	Mark never_type_fallback_flowing_into_unsafe as a semantic change	2024-11-14 06:01:14 +01:00
macros.rs	Improve const traits diagnostics for new desugaring	2024-10-02 19:45:17 +08:00
metadata.rs	Reformat use declarations.	2024-07-29 08:26:52 +10:00
tests.rs	Give an item related to issue 27438 a more meaningful name	2024-04-30 22:27:19 +02:00
thir.rs	use TypingEnv when no infcx is available	2024-11-18 10:38:56 +01:00
values.rs	compiler: Directly use rustc_abi in metadata and middle	2024-11-03 13:38:47 -08:00