From: bors <bors@rust-lang.org>
Date: Fri, 20 Sep 2019 06:56:18 +0000 (+0000)
Subject: Auto merge of #903 - RalfJung:discriminant, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=0c77a1025b6401abddaacabb95bc5abfd4e6ab26;p=rust.git

Auto merge of #903 - RalfJung:discriminant, r=RalfJung

fix discriminant handling

The Miri side of https://github.com/rust-lang/rust/pull/63448
---

0c77a1025b6401abddaacabb95bc5abfd4e6ab26