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 a42e736dc00..7fd6ada5ced 100644
--- a/chalk-solve/src/clauses.rs
+++ b/chalk-solve/src/clauses.rs
@@ -745,12 +745,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 1e6522eefa0..19811ff8b30 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:
     ///