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 /editors/code/src/util.ts | |
| 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 'editors/code/src/util.ts')
0 files changed, 0 insertions, 0 deletions