diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/contract/recursive-contract.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/contract/recursive-contract.rkt
index 437dcc087c..4497613108 100644
--- a/pkgs/racket-pkgs/racket-test/tests/racket/contract/recursive-contract.rkt
+++ b/pkgs/racket-pkgs/racket-test/tests/racket/contract/recursive-contract.rkt
@@ -85,4 +85,12 @@
       (placeholder-set! ph (cons ph ph))
       (contract c (make-reader-graph ph) 'pos 'neg)
       (void)))
-  )
+  
+  (test/spec-passed
+   'recursive-contract13
+   '(let ()
+      (define c
+        (recursive-contract
+         (or/c #f (cons/c c c))))
+      (define x (cons #f #f))
+      (contract c (cons (cons x x) (cons x x)) 'pos 'neg))))