Oh @nikomatsakis this was one of the two bugs you said you thought you might kill with one stone, so to speak, right?
(if not, that is okay; I can look at it to get it off your plate. But I think you said you had a plan for this.)
I am finished with first draft of my fix now
it fixes #55219 — though I've yet to extract a good standalone example — was harder than I thought
I'll try the other ICE
ok PR is open: https://github.com/rust-lang/rust/pull/55323