aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-03-20 09:46:36 +0000
committerFlorian Diebold <[email protected]>2021-03-20 09:46:36 +0000
commit7a5fb37cf12f4e25ce1ba7e464dd257408444bfb (patch)
treefedc1b02375558b9bd027a318c4bc131784d58c6 /crates/hir_ty/src/traits.rs
parent8b16af590dd3d241bec07f69f4d4dadae9a4b523 (diff)
Rename GenericPredicate -> WhereClause
Diffstat (limited to 'crates/hir_ty/src/traits.rs')
-rw-r--r--crates/hir_ty/src/traits.rs12
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};
9use stdx::panic_context; 9use stdx::panic_context;
10 10
11use crate::{ 11use 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
16use self::chalk::{from_chalk, Interner, ToChalk}; 16use self::chalk::{from_chalk, Interner, ToChalk};
@@ -96,11 +96,11 @@ pub enum Obligation {
96} 96}
97 97
98impl Obligation { 98impl 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}