diff --git a/typed-racket-test/fail/assoc-with-is-equal-argument.rkt b/typed-racket-test/fail/assoc-with-is-equal-argument.rkt
new file mode 100644
index 00000000..92d9f0fe
--- /dev/null
+++ b/typed-racket-test/fail/assoc-with-is-equal-argument.rkt
@@ -0,0 +1,9 @@
+#lang typed/racket
+
+(: equal-string-length (→ String String Boolean))
+(define (equal-string-length s1 s2)
+  (= (string-length s1) (string-length s2)))
+
+(assoc 123
+       '(("bb" . 1) ("c" . 2) ("ddd" . 3))
+       equal-string-length)
diff --git a/typed-racket-test/fail/member-with-is-equal-argument.rkt b/typed-racket-test/fail/member-with-is-equal-argument.rkt
new file mode 100644
index 00000000..807023e2
--- /dev/null
+++ b/typed-racket-test/fail/member-with-is-equal-argument.rkt
@@ -0,0 +1,9 @@
+#lang typed/racket
+
+(: equal-string-length (→ String String Boolean))
+(define (equal-string-length s1 s2)
+  (= (string-length s1) (string-length s2)))
+
+(member 123
+        '("bb" "c" "ddd")
+        equal-string-length)