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 | |
parent | ad20f00844cec9c794e34869be163673ebbed182 (diff) |
Binders::subst -> substitute
Diffstat (limited to 'crates/hir_ty/src/traits/chalk')
-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 | } |