Use smaller discriminants for generators#69837
Merged
bors merged 3 commits intorust-lang:masterfrom Mar 19, 2020
jonas-schievink:gen-discr-opt
Merged
Use smaller discriminants for generators#69837bors merged 3 commits intorust-lang:masterfrom jonas-schievink:gen-discr-opt
bors merged 3 commits intorust-lang:masterfrom
jonas-schievink:gen-discr-opt