Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/chalk_db.rs')
| -rw-r--r-- | crates/hir-ty/src/chalk_db.rs | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/crates/hir-ty/src/chalk_db.rs b/crates/hir-ty/src/chalk_db.rs index 546991cf65..3d06b52106 100644 --- a/crates/hir-ty/src/chalk_db.rs +++ b/crates/hir-ty/src/chalk_db.rs @@ -2,7 +2,7 @@ //! about the code that Chalk needs. use hir_def::{CallableDefId, GenericDefId}; -use crate::{Interner, Substitution, db::HirDatabase, mapping::from_chalk}; +use crate::{Interner, db::HirDatabase, mapping::from_chalk}; pub(crate) type AssocTypeId = chalk_ir::AssocTypeId<Interner>; pub(crate) type TraitId = chalk_ir::TraitId<Interner>; @@ -53,16 +53,3 @@ pub(crate) fn adt_variance_query(db: &dyn HirDatabase, adt_id: hir_def::AdtId) - }), ) } - -/// Returns instantiated predicates. -pub(super) fn convert_where_clauses( - db: &dyn HirDatabase, - def: GenericDefId, - substs: &Substitution, -) -> Vec<chalk_ir::QuantifiedWhereClause<Interner>> { - db.generic_predicates(def) - .iter() - .cloned() - .map(|pred| pred.substitute(Interner, substs)) - .collect() -} |