do not attempt to prove unknowable goals#129896

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

lcnr:bail-on-unknowablelcnr/rust:bail-on-unknowableCopy head branch name to clipboard