diff --git a/ices/79018.sh b/ices/79018.sh
new file mode 100644
index 00000000..f969ace0
--- /dev/null
+++ b/ices/79018.sh
@@ -0,0 +1,39 @@
+#!/bin/bash
+
+rustc - << 'EOF'
+#![crate_type = "lib"]
+#![feature(const_generics, const_evaluatable_checked)]
+#![allow(incomplete_features)]
+
+pub struct Const<const U: u8>;
+
+pub trait Trait {
+    type AssocTy;
+    fn assoc_fn() -> Self::AssocTy;
+}
+
+impl<const U: u8> Trait for Const<U>
+where
+    Const<{ my_const_fn(U) }>: ,
+{
+    type AssocTy = Const<{ my_const_fn(U) }>;
+    fn assoc_fn() -> Self::AssocTy {
+        Const
+    }
+}
+
+const fn my_const_fn(val: u8) -> u8 {
+    // body of this function doesn't matter
+    val
+}
+EOF
+
+rustc --extern my_crate=$(ls librust_out.*) - << 'EOF'
+extern crate my_crate;
+
+use my_crate::{Const, Trait};
+
+fn main() {
+    let _ = Const::<1>::assoc_fn();
+}
+EOF