diff options
| author | Florian Diebold <[email protected]> | 2021-04-05 20:56:40 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-05 20:58:53 +0100 |
| commit | b67148daea86d85d211c4243f22635d6ac7e1983 (patch) | |
| tree | 0f666c5b917de8a0f2ebf5fba185500d153036f3 /crates/hir_ty/src/traits/chalk/mapping.rs | |
| parent | 2a83645e1bb01578c4bbe5f71418d354108dfd77 (diff) | |
Substitution::prefix -> subst_prefix
I probably want to get rid of this function completely later.
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/mapping.rs')
0 files changed, 0 insertions, 0 deletions