Merge #8116

8116: Remove WhereClause::Error r=flodiebold a=flodiebold

Chalk doesn't have it, and judging from the removed code, it wasn't useful anyway.

Co-authored-by: Florian Diebold <[email protected]>

1 files changed, 1 insertions, 10 deletions

diff --git a/crates/hir_ty/src/lib.rs b/crates/hir_ty/src/lib.rs
index 5c4d5a7d7..8de2d422f 100644
--- a/crates/hir_ty/src/lib.rs
+++ b/crates/hir_ty/src/lib.rs
@@ -569,16 +569,9 @@ pub enum WhereClause {
     Implemented(TraitRef),
     /// An associated type bindings like in `Iterator<Item = T>`.
     AliasEq(AliasEq),
-    /// We couldn't resolve the trait reference. (If some type parameters can't
-    /// be resolved, they will just be Unknown).
-    Error,
 }
 
 impl WhereClause {
-    pub fn is_error(&self) -> bool {
-        matches!(self, WhereClause::Error)
-    }
-
     pub fn is_implemented(&self) -> bool {
         matches!(self, WhereClause::Implemented(_))
     }
@@ -589,7 +582,7 @@ impl WhereClause {
             WhereClause::AliasEq(AliasEq { alias: AliasTy::Projection(proj), .. }) => {
                 Some(proj.trait_ref(db))
             }
-            WhereClause::AliasEq(_) | WhereClause::Error => None,
+            WhereClause::AliasEq(_) => None,
         }
     }
 }
@@ -599,7 +592,6 @@ impl TypeWalk for WhereClause {
         match self {
             WhereClause::Implemented(trait_ref) => trait_ref.walk(f),
             WhereClause::AliasEq(alias_eq) => alias_eq.walk(f),
-            WhereClause::Error => {}
         }
     }
 
@@ -611,7 +603,6 @@ impl TypeWalk for WhereClause {
         match self {
             WhereClause::Implemented(trait_ref) => trait_ref.walk_mut_binders(f, binders),
             WhereClause::AliasEq(alias_eq) => alias_eq.walk_mut_binders(f, binders),
-            WhereClause::Error => {}
         }
     }
 }