Remove the empty variant of `VerifyBound` - #152438

Open

amandasystems wants to merge 4 commits into

rust-lang:mainfrom

amandasystems:remove-is-empty-verify-bound

Commits on Feb 10, 2026

Remove the empty variant of `VerifyBound`
amandasystems
committed
1b3da3e
Catch a few extra case of empty any bounds, just to be safe
amandasystems
committed
e83f561
Add an assertion just to be sure
amandasystems
committed
2c4a743

Commits on Feb 13, 2026

Treat an empty any bound as a failure: this currently errors
amandasystems
committed
699edbb