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_arena/src/map.rs | |
| parent | 88702a758f031f33452e9acac621841552ec9f8a (diff) | |
Future proof by explicitly matching against None
Diffstat (limited to 'crates/ra_arena/src/map.rs')
0 files changed, 0 insertions, 0 deletions