pattern_analysis: add option to get a full set of witnesses#144171

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

Nadrieril:exhaustive-witnessesNadrieril/rust:exhaustive-witnessesCopy head branch name to clipboard