Commit 2a87e44
committed
Auto merge of #156934 - saethlin:impossible-bounds-check, r=BoxyUwU
Add a check for impossible predicates to trivial_const
The problem here is that trivial consts bypass the MIR pass which replaces bodies with `unreachable` when there are false global bounds. see rust-lang/rust#147721 (comment).
This fixes the problem, but it is a bit hacky. But maybe all the handling of false global bounds is hacky?0 file changed
0 commit comments