Consolidate exhaustiveness-related tests#79243

Merged

bors merged 2 commits intorust-lang:masterfrom

Nadrieril:consolidate-tests

Nov 22, 2020

Commits on Nov 19, 2020

Regroup many usefulness-related test in the same folder
Nadrieril
committed

Commits on Nov 21, 2020

Improve integer range tests
Nadrieril
committed