]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7d95a84 c822bb6)
Merge #5787
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Tue, 18 Aug 2020 07:25:57 +0000 (07:25 +0000)
committerGitHub <noreply@github.com>
Tue, 18 Aug 2020 07:25:57 +0000 (07:25 +0000)
5787: Fix missing match arm false positive r=matklad a=CAD97

If the type of the match expression is `{unknown}`, don't do exhaustiveness checks, as it could be an uninhabited type.

Co-authored-by: CAD97 <cad97@cad97.com>

Trivial merge
Empowering everyone to build reliable and efficient software.