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/chalk_cast.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/chalk_cast.rs')
0 files changed, 0 insertions, 0 deletions