From 7a5fb37cf12f4e25ce1ba7e464dd257408444bfb Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Sat, 20 Mar 2021 10:46:36 +0100 Subject: Rename GenericPredicate -> WhereClause --- crates/hir_ty/src/traits.rs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'crates/hir_ty/src/traits.rs') 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}; use stdx::panic_context; use crate::{ - db::HirDatabase, AliasTy, Canonical, DebruijnIndex, GenericPredicate, HirDisplay, Substitution, - TraitRef, Ty, TyKind, TypeWalk, + db::HirDatabase, AliasTy, Canonical, DebruijnIndex, HirDisplay, Substitution, TraitRef, Ty, + TyKind, TypeWalk, WhereClause, }; use self::chalk::{from_chalk, Interner, ToChalk}; @@ -96,11 +96,11 @@ pub enum Obligation { } impl Obligation { - pub fn from_predicate(predicate: GenericPredicate) -> Option { + pub fn from_predicate(predicate: WhereClause) -> Option { match predicate { - GenericPredicate::Implemented(trait_ref) => Some(Obligation::Trait(trait_ref)), - GenericPredicate::AliasEq(alias_eq) => Some(Obligation::AliasEq(alias_eq)), - GenericPredicate::Error => None, + WhereClause::Implemented(trait_ref) => Some(Obligation::Trait(trait_ref)), + WhereClause::AliasEq(alias_eq) => Some(Obligation::AliasEq(alias_eq)), + WhereClause::Error => None, } } } -- cgit v1.2.3