Skip to content

fix discriminant_value sign extension#72425

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:discr-sign-ext
May 22, 2020
Merged

fix discriminant_value sign extension#72425
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:discr-sign-ext

fix discriminant sign extension

94aa028
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs