Remove WhereClause::Error

Chalk doesn't have it, and judging from the removed code, it wasn't
useful anyway.
This commit is contained in:
Florian Diebold 2021-03-20 10:51:00 +01:00
parent 7a5fb37cf1
commit 8e7e405f6a
7 changed files with 8 additions and 42 deletions

View file

@ -100,7 +100,6 @@ impl Obligation {
match predicate {
WhereClause::Implemented(trait_ref) => Some(Obligation::Trait(trait_ref)),
WhereClause::AliasEq(alias_eq) => Some(Obligation::AliasEq(alias_eq)),
WhereClause::Error => None,
}
}
}