diff options
| author | Aramis Razzaghipour <[email protected]> | 2021-01-15 00:02:08 +0000 |
|---|---|---|
| committer | Aramis Razzaghipour <[email protected]> | 2021-01-17 07:38:08 +0000 |
| commit | 1d103cf087c574f66279490ffef8c76178aea5cc (patch) | |
| tree | 8c1fbb02902eb1f77500eb2f328da8c17f06510e /crates/hir_ty/src/traits/chalk/mapping.rs | |
| parent | 3224ecea8734f850eda474c136ae4dcb7e1aa3f1 (diff) | |
Use ‘index’ terminology for arena consistently
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/mapping.rs')
0 files changed, 0 insertions, 0 deletions