diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-12 09:30:24 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-12 09:30:24 +0100 |
commit | 268b7987290143550461090c2c0e23371813dbec (patch) | |
tree | 5dcdab30670131d405d34d0c20a8785bbf1ee181 /crates/ra_ide/src/completion | |
parent | a8e032820f14cad3630299a1ae16c62dcf59f358 (diff) | |
parent | bb2e5308b77e5d115df17411aaa2dd26be171b0a (diff) |
Merge #3938
3938: fix missing match arm false positive r=flodiebold a=JoshMcguigan
This fixes #3932 by skipping the missing match arm diagnostic in the case any of the match arms don't type check properly against the match expression.
I think this is the appropriate behavior for this diagnostic, since `is_useful` relies on all match arms being well formed, and the case of a malformed match arm should probably be handled by a different diagnostic.
Co-authored-by: Josh Mcguigan <[email protected]>
Diffstat (limited to 'crates/ra_ide/src/completion')
0 files changed, 0 insertions, 0 deletions