Fix assume and assert in jump threading#120171

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

cjgillot:jump-threading-assume-assertcjgillot/rust:jump-threading-assume-assertCopy head branch name to clipboard