diff --git a/collects/tests/typed-racket/fail/pr13526.rkt b/collects/tests/typed-racket/fail/pr13526.rkt
new file mode 100644
index 0000000000..3a02bef687
--- /dev/null
+++ b/collects/tests/typed-racket/fail/pr13526.rkt
@@ -0,0 +1,6 @@
+#;
+(exn-pred #rx"Expected result: AnyValues")
+
+#lang typed/racket
+
+(map "hello" "world")
diff --git a/collects/tests/typed-racket/fail/pr13577.rkt b/collects/tests/typed-racket/fail/pr13577.rkt
new file mode 100644
index 0000000000..7a6c1500b8
--- /dev/null
+++ b/collects/tests/typed-racket/fail/pr13577.rkt
@@ -0,0 +1,8 @@
+#;
+(exn-pred #rx"Expected result: AnyValues")
+
+#lang typed/racket
+
+(for/sum ([k (in-naturals)])
+  (/ 1 (* k k)))
+