diff options
| author | Florian Diebold <[email protected]> | 2021-04-04 19:22:00 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-04 19:22:00 +0100 |
| commit | 508a1ecad3cf9c9f01022b3e95f9d6a7ad7a4cd5 (patch) | |
| tree | 88f6dd30f03815c04054bb50e302dcd92c8d09c9 /crates/hir | |
| parent | bc8b27884132a4dbfa019f7d3d5fcbbf9f4912af (diff) | |
Move things in hir_ty into submodules
- all the types that will be replaced by Chalk go to `types`
- `TypeWalk` impls go to `walk`
Diffstat (limited to 'crates/hir')
| -rw-r--r-- | crates/hir/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir/src/lib.rs b/crates/hir/src/lib.rs index 19901ed33..b9255dd1d 100644 --- a/crates/hir/src/lib.rs +++ b/crates/hir/src/lib.rs | |||
| @@ -1822,7 +1822,7 @@ impl Type { | |||
| 1822 | match db.trait_solve(self.krate, goal)? { | 1822 | match db.trait_solve(self.krate, goal)? { |
| 1823 | Solution::Unique(SolutionVariables(subst)) => subst | 1823 | Solution::Unique(SolutionVariables(subst)) => subst |
| 1824 | .value | 1824 | .value |
| 1825 | .interned(&Interner) | 1825 | .interned() |
| 1826 | .first() | 1826 | .first() |
| 1827 | .map(|ty| self.derived(ty.assert_ty_ref(&Interner).clone())), | 1827 | .map(|ty| self.derived(ty.assert_ty_ref(&Interner).clone())), |
| 1828 | Solution::Ambig(_) => None, | 1828 | Solution::Ambig(_) => None, |