diff options
Diffstat (limited to 'crates/hir_ty/src/traits.rs')
-rw-r--r-- | crates/hir_ty/src/traits.rs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/crates/hir_ty/src/traits.rs b/crates/hir_ty/src/traits.rs index ac7de7605..6feb64ceb 100644 --- a/crates/hir_ty/src/traits.rs +++ b/crates/hir_ty/src/traits.rs | |||
@@ -9,8 +9,8 @@ use hir_def::{lang_item::LangItemTarget, TraitId}; | |||
9 | use stdx::panic_context; | 9 | use stdx::panic_context; |
10 | 10 | ||
11 | use crate::{ | 11 | use crate::{ |
12 | db::HirDatabase, AliasTy, Canonical, DebruijnIndex, GenericPredicate, HirDisplay, Substitution, | 12 | db::HirDatabase, AliasTy, Canonical, DebruijnIndex, HirDisplay, Substitution, TraitRef, Ty, |
13 | TraitRef, Ty, TyKind, TypeWalk, | 13 | TyKind, TypeWalk, WhereClause, |
14 | }; | 14 | }; |
15 | 15 | ||
16 | use self::chalk::{from_chalk, Interner, ToChalk}; | 16 | use self::chalk::{from_chalk, Interner, ToChalk}; |
@@ -96,11 +96,11 @@ pub enum Obligation { | |||
96 | } | 96 | } |
97 | 97 | ||
98 | impl Obligation { | 98 | impl Obligation { |
99 | pub fn from_predicate(predicate: GenericPredicate) -> Option<Obligation> { | 99 | pub fn from_predicate(predicate: WhereClause) -> Option<Obligation> { |
100 | match predicate { | 100 | match predicate { |
101 | GenericPredicate::Implemented(trait_ref) => Some(Obligation::Trait(trait_ref)), | 101 | WhereClause::Implemented(trait_ref) => Some(Obligation::Trait(trait_ref)), |
102 | GenericPredicate::AliasEq(alias_eq) => Some(Obligation::AliasEq(alias_eq)), | 102 | WhereClause::AliasEq(alias_eq) => Some(Obligation::AliasEq(alias_eq)), |
103 | GenericPredicate::Error => None, | 103 | WhereClause::Error => None, |
104 | } | 104 | } |
105 | } | 105 | } |
106 | } | 106 | } |