From: bors <bors@rust-lang.org>
Date: Thu, 14 Nov 2019 10:16:51 +0000 (+0000)
Subject: Auto merge of #1053 - RalfJung:clean, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=2bdf163d69d5779fe25f13a6fedf95c1543f2a9d;p=rust.git

Auto merge of #1053 - RalfJung:clean, r=RalfJung

remove no-longer-needed zero checks
---

2bdf163d69d5779fe25f13a6fedf95c1543f2a9d