]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #1336 - RalfJung:instance-sanity, r=RalfJung
authorbors <bors@rust-lang.org>
Wed, 15 Apr 2020 11:34:34 +0000 (11:34 +0000)
committerbors <bors@rust-lang.org>
Wed, 15 Apr 2020 11:34:34 +0000 (11:34 +0000)
tighten Instance sanity check

Let's see if we can get away with this...


Trivial merge