use typing mode postanalysis in qualif in the next solver

[jdonszelmann]

r? @lcnr

PostAnalysis causes no query cycles, and as far as I can tell (looked where it was called) PostAnalysis is correct for this call

Builds on #155047 so @rustbot blocked

[rustbot]

Some changes occurred in compiler/rustc_hir/src/attrs

cc @JonathanBrouwer

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

Some changes occurred in compiler/rustc_passes/src/check_attr.rs

cc @JonathanBrouwer

changes to the core type system

cc @lcnr

Some changes occurred in src/tools/clippy

cc @rust-lang/clippy

Some changes occurred to constck

cc @fee1-dead

Some changes occurred to the CTFE / Miri interpreter

cc @rust-lang/miri

Some changes occurred in compiler/rustc_attr_parsing

cc @JonathanBrouwer

Some changes occurred to the CTFE machinery

cc @RalfJung, @oli-obk, @lcnr

[jdonszelmann]

@rustbot ready

[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]

we should use cx.typing_env here and use its TypingMode. we currently specify that mode to be non_body_analysis which is very wrong™️, so this is a bigger change to use the proper TypingMode here. In the new solver we should generally use TypingMode::Borrowck until we're done with mir_borrowck at hwich point it should be PostBorrowckAnalysis

View changes since the review