diff options
Diffstat (limited to 'crates/hir')
-rw-r--r-- | crates/hir/src/lib.rs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/crates/hir/src/lib.rs b/crates/hir/src/lib.rs index 19901ed33..e41efb385 100644 --- a/crates/hir/src/lib.rs +++ b/crates/hir/src/lib.rs | |||
@@ -55,10 +55,11 @@ use hir_ty::{ | |||
55 | autoderef, could_unify, | 55 | autoderef, could_unify, |
56 | method_resolution::{self, TyFingerprint}, | 56 | method_resolution::{self, TyFingerprint}, |
57 | primitive::UintTy, | 57 | primitive::UintTy, |
58 | traits::{FnTrait, Solution, SolutionVariables}, | 58 | traits::FnTrait, |
59 | AliasEq, AliasTy, BoundVar, CallableDefId, CallableSig, Canonical, CanonicalVarKinds, Cast, | 59 | AliasEq, AliasTy, BoundVar, CallableDefId, CallableSig, Canonical, CanonicalVarKinds, Cast, |
60 | DebruijnIndex, InEnvironment, Interner, QuantifiedWhereClause, Scalar, Substitution, | 60 | DebruijnIndex, InEnvironment, Interner, QuantifiedWhereClause, Scalar, Solution, |
61 | TraitEnvironment, Ty, TyBuilder, TyDefId, TyKind, TyVariableKind, WhereClause, | 61 | SolutionVariables, Substitution, TraitEnvironment, Ty, TyBuilder, TyDefId, TyKind, |
62 | TyVariableKind, WhereClause, | ||
62 | }; | 63 | }; |
63 | use itertools::Itertools; | 64 | use itertools::Itertools; |
64 | use rustc_hash::FxHashSet; | 65 | use rustc_hash::FxHashSet; |
@@ -1822,7 +1823,7 @@ impl Type { | |||
1822 | match db.trait_solve(self.krate, goal)? { | 1823 | match db.trait_solve(self.krate, goal)? { |
1823 | Solution::Unique(SolutionVariables(subst)) => subst | 1824 | Solution::Unique(SolutionVariables(subst)) => subst |
1824 | .value | 1825 | .value |
1825 | .interned(&Interner) | 1826 | .interned() |
1826 | .first() | 1827 | .first() |
1827 | .map(|ty| self.derived(ty.assert_ty_ref(&Interner).clone())), | 1828 | .map(|ty| self.derived(ty.assert_ty_ref(&Interner).clone())), |
1828 | Solution::Ambig(_) => None, | 1829 | Solution::Ambig(_) => None, |