Skip to content

improve DiscriminantKind handling#74276

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:discriminant-kind-what
Jul 16, 2020
Merged

improve DiscriminantKind handling#74276
bors merged 1 commit intorust-lang:masterfrom
lcnr:discriminant-kind-what

Commits

Commits on Jul 15, 2020