diff options
| author | Evgenii P <[email protected]> | 2019-08-09 10:08:36 +0100 |
|---|---|---|
| committer | Evgenii P <[email protected]> | 2019-08-09 10:08:36 +0100 |
| commit | fa24e20867893178ed7265ecadb2bcb09cf76dac (patch) | |
| tree | 40db0d5e514bf1d260aa21a3a305b37986136481 /crates/ra_hir/src/ty/traits/chalk.rs | |
| parent | 957b5ed23a4860fe3c9b80687a801b5d7870fe00 (diff) | |
Make name_ref to accept numeric names optionally
Diffstat (limited to 'crates/ra_hir/src/ty/traits/chalk.rs')
0 files changed, 0 insertions, 0 deletions