fix discriminant_value sign extension#72425

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:discr-sign-ext

May 22, 2020

+4-1

Commits on May 21, 2020

fix discriminant sign extension
RalfJung
committed