diff options
author | Lukas Wirth <[email protected]> | 2021-03-01 11:35:11 +0000 |
---|---|---|
committer | Lukas Wirth <[email protected]> | 2021-03-01 11:41:29 +0000 |
commit | 11a1f13cd1cf6da484fd4b8bfb5f72a625c2186a (patch) | |
tree | d9923bbea2a75e02b599961790952e8a9a2edf2e /crates/hir/src/code_model.rs | |
parent | 4e5c49619986144f6f0b1656bed2fac30b638a26 (diff) |
Being Ty::InferenceVar closes to chalk equivalent
Diffstat (limited to 'crates/hir/src/code_model.rs')
-rw-r--r-- | crates/hir/src/code_model.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir/src/code_model.rs b/crates/hir/src/code_model.rs index 5a1691eff..351ba75ff 100644 --- a/crates/hir/src/code_model.rs +++ b/crates/hir/src/code_model.rs | |||
@@ -33,7 +33,7 @@ use hir_ty::{ | |||
33 | traits::{FnTrait, Solution, SolutionVariables}, | 33 | traits::{FnTrait, Solution, SolutionVariables}, |
34 | BoundVar, CallableDefId, CallableSig, Canonical, DebruijnIndex, GenericPredicate, | 34 | BoundVar, CallableDefId, CallableSig, Canonical, DebruijnIndex, GenericPredicate, |
35 | InEnvironment, Obligation, ProjectionPredicate, ProjectionTy, Scalar, Substs, TraitEnvironment, | 35 | InEnvironment, Obligation, ProjectionPredicate, ProjectionTy, Scalar, Substs, TraitEnvironment, |
36 | Ty, TyDefId, TyKind, | 36 | Ty, TyDefId, TyVariableKind, |
37 | }; | 37 | }; |
38 | use rustc_hash::FxHashSet; | 38 | use rustc_hash::FxHashSet; |
39 | use stdx::{format_to, impl_from}; | 39 | use stdx::{format_to, impl_from}; |
@@ -1655,7 +1655,7 @@ impl Type { | |||
1655 | self.ty.environment.clone(), | 1655 | self.ty.environment.clone(), |
1656 | Obligation::Projection(predicate), | 1656 | Obligation::Projection(predicate), |
1657 | ), | 1657 | ), |
1658 | kinds: Arc::new([TyKind::General]), | 1658 | kinds: Arc::new([TyVariableKind::General]), |
1659 | }; | 1659 | }; |
1660 | 1660 | ||
1661 | match db.trait_solve(self.krate, goal)? { | 1661 | match db.trait_solve(self.krate, goal)? { |