diff --git a/collects/tests/typed-scheme/succeed/dot-intro.ss b/collects/tests/typed-scheme/succeed/dot-intro.ss
index 50c87e35..1d0dd533 100644
--- a/collects/tests/typed-scheme/succeed/dot-intro.ss
+++ b/collects/tests/typed-scheme/succeed/dot-intro.ss
@@ -8,6 +8,10 @@
   (plambda: (a ...) ([x : Number] . [y : a ... a])
     (ormap null? (map list y))))
 
+(define y*
+  (plambda: (a ...) ([x : Number] . [y : a ... a])
+    (andmap null? (map list y))))
+
 
 (plambda: (a ...) ([x : Number] . [y : Number ... a])
   y)