diff --git a/tests/test/closures.rs b/tests/test/closures.rs
index 40f8d78f78d..7933fc7fc8f 100644
--- a/tests/test/closures.rs
+++ b/tests/test/closures.rs
@@ -118,6 +118,24 @@ fn closure_is_copy() {
     }
 }
 
+#[test]
+fn deadfeed() {
+    test! {
+        program {
+            #[auto]
+            trait Send { }
+
+            closure with_ty<T>(self,) { T }
+        }
+
+        goal {
+            forall<T> { if (T: Send) { with_ty<T>: Send } }
+        } yields {
+            expect![["Unique"]]
+        }
+    }
+}
+
 #[test]
 fn closure_is_clone() {
     test! {