handle diverging functions forwarding their return place#66827

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-missing-ret-placeRalfJung/rust:miri-missing-ret-placeCopy head branch name to clipboard