diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-18 08:25:57 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-18 08:25:57 +0100 |
| commit | 3932874794ab8b802ac4dec162bf97a6b64808e5 (patch) | |
| tree | a73e2ad5d033c6f53357d3895b73b6a810e4a94c /docs/user | |
| parent | 7d95a8447cf1874dac6381b5b1e644093b72e435 (diff) | |
| parent | c822bb68ce78171e4017938a66118fc4ccf077d5 (diff) | |
Merge #5787
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 <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions