Filter and test predicates using `normalize_and_test_predicates` for const-prop#68297

Merged

bors merged 4 commits intorust-lang:masterfrom Aaron1011:fix/new-const-prop-bounds

Jan 21, 2020

+79-72

Commits on Jan 16, 2020

Revert previous attempt at detecting unsatisfiable predicates
Aaron1011
committed
Filter and test predicates using normalize_and_test_predicates for const-prop
Aaron1011
committed

Commits on Jan 17, 2020

Fix typo

Aaron1011
and
oli-obk
authored
Add @weiznich 's regression test
Aaron1011
committed