Reveal opaques defined in the body during analysis

[beamandala]

This PR fixes #148094 by revealing the opaque types defined in the body (if any) during mir analysis.

[rustbot]

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

[rustbot]

r? @petrochenkov

rustbot has assigned @petrochenkov.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[oli-obk]

You need to remove the known-bug comment here and add other annotations to make the test pass (which can include failing compilation)

[beamandala]

@oli-obk Thank you for the feedback. I addressed it in my most recent commit.

[rustbot]

⚠️ #[rustc_allow_const_fn_unstable] needs careful audit to avoid accidentally exposing unstable
implementation details on stable.

cc @rust-lang/wg-const-eval

These commits modify the Cargo.lock file. Unintentional changes to Cargo.lock can be introduced when switching branches and rebasing PRs.

If this was unintentional then you should revert the changes before this PR is merged.
Otherwise, you can ignore this comment.

Some changes occurred in HTML/CSS/JS.

cc @GuillaumeGomez, @jsha, @lolbinarycat

Some changes occurred in compiler/rustc_codegen_ssa

cc @WaffleLapkin

rustc_errors::annotate_snippet_emitter_writer was changed

cc @Muscraft

Some changes occurred in exhaustiveness checking

cc @Nadrieril

The Miri subtree was changed

cc @rust-lang/miri

[rustbot]

Some changes occurred in compiler/rustc_codegen_gcc

cc @antoyo, @GuillaumeGomez

[rustbot]

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

[lcnr]

when do we have non-local DefIds here?

[lcnr]

why? This means we're now checking less things. Given that the typing env now correctly reveals opauqes, why do we need either the old or the new check? I would expect the change in TypingEnv to remove the need for both