From: bors <bors@rust-lang.org>
Date: Thu, 2 Jan 2020 14:58:15 +0000 (+0000)
Subject: Auto merge of #1139 - RalfJung:fixme, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=f3c267d07cfae435e03b0c5878becc74058fe46e;p=rust.git

Auto merge of #1139 - RalfJung:fixme, r=RalfJung

note a FIXME

Cc @wesleywiser
---

f3c267d07cfae435e03b0c5878becc74058fe46e