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 https://github.com/rust-lang/rust/issues/147721#issuecomment-4524510696. This fixes the problem, but it is a bit hacky. But maybe all the handling of false global bounds is hacky?