[beta] backports

[cuviper]

• dropck_outlives check whether generator witness needs_drop dropck_outlives check whether generator witness needs_drop #117134
• Make sure that predicates with unmentioned bound vars are still considered global in the old solver Make sure that predicates with unmentioned bound vars are still considered global in the old solver #117589
• Check binders with bound vars for global bounds that don't hold Check binders with bound vars for global bounds that don't hold #117637
• generator layout: ignore fake borrows generator layout: ignore fake borrows #117712

r? ghost

[cuviper]

@bors r+ rollup=never

[bors]

📌 Commit 015d4b6 has been approved by cuviper

It is now in the queue for this repository.

[bors]

⌛ Testing commit 015d4b6 with merge a7a6e83...

[rust-log-analyzer]

The job aarch64-gnu failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

[RUSTC-TIMING] askama_derive test:false 3.059
   Compiling askama v0.12.0
   Compiling rustdoc v0.0.0 (/checkout/src/librustdoc)
[RUSTC-TIMING] askama test:false 0.245
##[error]The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
##[group]Clock drift check
##[group]Clock drift check
Session terminated, killing shell... ...killed.
##[error]The operation was canceled.
Cleaning up orphan processes

[bors]

💔 Test failed - checks-actions

[cuviper]

@bors retry

[bors]

⌛ Testing commit 015d4b6 with merge fbf0758...

[bors]

☀️ Test successful - checks-actions
Approved by: cuviper
Pushing fbf0758 to beta...