If it's ok with you @RalfJung, why don't we sync up on Zulip     https://rust-lang.zulipchat.com/#narrow/stream/189540-t-compiler.2Fwg-mir-opt/topic/.5Bconst-prop.5D.20Handle.20remaining.20MIR.20Rvalue.20cases.20.2364890