Rollup merge of #137840 - fee1-dead-contrib:push-uwkzouvnrnvs, r=oli-obk

triagebot: only ping me for constck

Per the [Zulip thread](https://rust-lang.zulipchat.com/#narrow/channel/146212-t-compiler.2Fconst-eval/topic/rustbot.20pings).

cc `@rust-lang/wg-const-eval.`

Author: matthiaskrgr