]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 728e664 1ad9709)
Merge pull request #350 from RalfJung/inhabited
authorEduard-Mihai Burtescu <edy.burt@gmail.com>
Fri, 22 Sep 2017 11:48:59 +0000 (14:48 +0300)
committerGitHub <noreply@github.com>
Fri, 22 Sep 2017 11:48:59 +0000 (14:48 +0300)
get rid of ad-hoc inhabitedness test


Trivial merge
Empowering everyone to build reliable and efficient software.