]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #39151 - canndrew:feature-gate-uninhabited-references, r=brson
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Thu, 19 Jan 2017 10:56:11 +0000 (11:56 +0100)
committerGitHub <noreply@github.com>
Thu, 19 Jan 2017 10:56:11 +0000 (11:56 +0100)
Feature gate `&Void`'s uninhabitedness.

Here's a totally crazy PR which should never be merged.


Trivial merge