diff options
| author | Lukas Wirth <[email protected]> | 2020-11-24 15:43:28 +0000 |
|---|---|---|
| committer | Lukas Wirth <[email protected]> | 2020-11-24 15:43:28 +0000 |
| commit | a4b52756562d4f4c9e658d0bca4b3e62ac6ebd95 (patch) | |
| tree | 6114219f8e14121c92d54ecb117fc234a2221af7 /editors | |
| parent | 67d45851bf2257f6f255fb6863163a6836816cff (diff) | |
Handle ellipsis in tuple patterns in match exhaustiveness checking
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions