diff options
| author | Florian Diebold <[email protected]> | 2021-03-21 16:40:14 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-03-21 17:01:14 +0000 |
| commit | 1d5c4a77fb33cab7bf8f9d2edc6dd26b09ef65f3 (patch) | |
| tree | 9cc37c708ec3c2df8adbc1e96204c7a7e2e3ca65 /crates/hir_ty/src/utils.rs | |
| parent | 590c41635952e19c3caae525a827499dbd360049 (diff) | |
Use QuantifiedWhereClause in generic_predicates as well
Still far too much binder skipping going on; I find it hard to imagine
this is all correct, but the tests pass.
Diffstat (limited to 'crates/hir_ty/src/utils.rs')
| -rw-r--r-- | crates/hir_ty/src/utils.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/utils.rs b/crates/hir_ty/src/utils.rs index 1ec1ecd43..19874e42b 100644 --- a/crates/hir_ty/src/utils.rs +++ b/crates/hir_ty/src/utils.rs | |||
| @@ -63,7 +63,7 @@ fn direct_super_trait_refs(db: &dyn HirDatabase, trait_ref: &TraitRef) -> Vec<Tr | |||
| 63 | db.generic_predicates_for_param(trait_self) | 63 | db.generic_predicates_for_param(trait_self) |
| 64 | .iter() | 64 | .iter() |
| 65 | .filter_map(|pred| { | 65 | .filter_map(|pred| { |
| 66 | pred.as_ref().filter_map(|pred| match pred { | 66 | pred.as_ref().filter_map(|pred| match pred.skip_binders() { |
| 67 | WhereClause::Implemented(tr) => Some(tr.clone()), | 67 | WhereClause::Implemented(tr) => Some(tr.clone()), |
| 68 | _ => None, | 68 | _ => None, |
| 69 | }) | 69 | }) |