From: bors <bors@rust-lang.org>
Date: Sun, 12 Apr 2020 08:40:32 +0000 (+0000)
Subject: Auto merge of #1323 - RalfJung:noref, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c827d1fd9cd1f130c861bee3a39e82971381879f;p=rust.git

Auto merge of #1323 - RalfJung:noref, r=RalfJung

avoid a bunch of as_ref/as_mut
---

c827d1fd9cd1f130c861bee3a39e82971381879f