diff options
author | kjeremy <[email protected]> | 2019-02-04 17:49:29 +0000 |
---|---|---|
committer | kjeremy <[email protected]> | 2019-02-04 17:49:29 +0000 |
commit | 20e9aa2364f39a2cb19a77044c6dedf7fedb0176 (patch) | |
tree | 4428476367aa3bb9fa53205ed1944514312e94c8 /crates/ra_ide_api/src | |
parent | 88702a758f031f33452e9acac621841552ec9f8a (diff) |
Future proof by explicitly matching against None
Diffstat (limited to 'crates/ra_ide_api/src')
0 files changed, 0 insertions, 0 deletions