diff options
| author | Florian Diebold <[email protected]> | 2021-04-05 17:39:53 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-05 18:20:28 +0100 |
| commit | 05eba0db3dd76f016aabdd49af6211e70a1812ed (patch) | |
| tree | 4e4cdc0d7acddd8feb04c064360e0a8e889e4957 /crates/hir_ty/src/traits/chalk/mapping.rs | |
| parent | ad20f00844cec9c794e34869be163673ebbed182 (diff) | |
Binders::subst -> substitute
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/mapping.rs')
| -rw-r--r-- | crates/hir_ty/src/traits/chalk/mapping.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/traits/chalk/mapping.rs b/crates/hir_ty/src/traits/chalk/mapping.rs index 2c7407c7c..481b0bb10 100644 --- a/crates/hir_ty/src/traits/chalk/mapping.rs +++ b/crates/hir_ty/src/traits/chalk/mapping.rs | |||
| @@ -519,7 +519,7 @@ pub(super) fn convert_where_clauses( | |||
| 519 | let generic_predicates = db.generic_predicates(def); | 519 | let generic_predicates = db.generic_predicates(def); |
| 520 | let mut result = Vec::with_capacity(generic_predicates.len()); | 520 | let mut result = Vec::with_capacity(generic_predicates.len()); |
| 521 | for pred in generic_predicates.iter() { | 521 | for pred in generic_predicates.iter() { |
| 522 | result.push(pred.clone().subst(substs).to_chalk(db)); | 522 | result.push(pred.clone().substitute(substs).to_chalk(db)); |
| 523 | } | 523 | } |
| 524 | result | 524 | result |
| 525 | } | 525 | } |