From 40515f28df465f3b1d4bae6310bab3ba635ad6e3 Mon Sep 17 00:00:00 2001
From: Wilco Kusee <wilcokusee@gmail.com>
Date: Sat, 27 Feb 2021 20:03:21 +0100
Subject: [PATCH] Remove unneeded program clauses code for assoc consts

---
 chalk-integration/src/query.rs             | 5 -----
 chalk-solve/src/clauses.rs                 | 6 ------
 chalk-solve/src/clauses/program_clauses.rs | 6 ------
 3 files changed, 17 deletions(-)

diff --git a/chalk-integration/src/query.rs b/chalk-integration/src/query.rs
index 629629fc9df..1d074b953d9 100644
--- a/chalk-integration/src/query.rs
+++ b/chalk-integration/src/query.rs
@@ -242,11 +242,6 @@ fn environment(db: &dyn LoweringDatabase) -> Result<Arc<ProgramEnvironment>, Cha
                 .iter()
                 .map(|&atv_id| db.associated_ty_value(atv_id))
                 .for_each(|atv| atv.to_program_clauses(builder, &env));
-            datum
-                .associated_const_value_ids
-                .iter()
-                .map(|&acv_id| db.associated_const_value(acv_id))
-                .for_each(|acv| acv.to_program_clauses(builder, &env));
         }
     }
 
diff --git a/chalk-solve/src/clauses.rs b/chalk-solve/src/clauses.rs
index e63cb935b06..c649e3209dc 100644
--- a/chalk-solve/src/clauses.rs
+++ b/chalk-solve/src/clauses.rs
@@ -733,12 +733,6 @@ fn push_program_clauses_for_associated_values_in_impls_of<I: Interner>(
             debug!(?atv_id, ?atv);
             atv.to_program_clauses(builder, environment);
         }
-
-        for &acv_id in &impl_datum.associated_const_value_ids {
-            let acv = builder.db.associated_const_value(acv_id);
-            debug!(?acv_id, ?acv);
-            acv.to_program_clauses(builder, environment);
-        }
     }
 }
 
diff --git a/chalk-solve/src/clauses/program_clauses.rs b/chalk-solve/src/clauses/program_clauses.rs
index 9584a63e7a0..736684bc721 100644
--- a/chalk-solve/src/clauses/program_clauses.rs
+++ b/chalk-solve/src/clauses/program_clauses.rs
@@ -134,12 +134,6 @@ impl<I: Interner> ToProgramClauses<I> for AssociatedTyValue<I> {
     }
 }
 
-impl<I: Interner> ToProgramClauses<I> for AssociatedConstValue<I> {
-    fn to_program_clauses(&self, builder: &mut ClauseBuilder<'_, I>, environment: &Environment<I>) {
-        todo!()
-    }
-}
-
 impl<I: Interner> ToProgramClauses<I> for OpaqueTyDatum<I> {
     /// Given `opaque type T<U>: A + B = HiddenTy where U: C;`, we generate:
     ///