diff --git a/ansi-tests/lambda.lsp b/ansi-tests/lambda.lsp
index d1681d5b85ddb53d251f1cecc5d22c106dcebb76..53620a354d14353d0a6221b685adc62b0226497d 100644
--- a/ansi-tests/lambda.lsp
+++ b/ansi-tests/lambda.lsp
@@ -336,6 +336,16 @@
 	 nil))))
   :good)
 
+(deftest lambda.64
+  (let ((x :bad))
+    (declare (special x))
+    (flet ((%f () x))
+      ((lambda (x &aux (y (%f)))
+	 (declare (type t y) (special x))
+	 y)
+       :good)))
+  :good)
+
 ;;; Tests of lambda as a macro
 
 (deftest lambda.macro.1