diff --git a/collects/tests/typed-scheme/succeed/even-odd.rkt b/collects/tests/typed-scheme/succeed/even-odd.rkt
index b26a054b..f9a57574 100644
--- a/collects/tests/typed-scheme/succeed/even-odd.rkt
+++ b/collects/tests/typed-scheme/succeed/even-odd.rkt
@@ -7,6 +7,10 @@
 (define-type EvenParity (Rec Even (U '() (Z Even) (O (Rec Odd (U (Z Odd) (O Even)))))))
 (define-type OddParity (Rec Odd (U (Z Odd) (O (Rec Even (U '() (Z Even) (O Odd)))))))
 
+(define: x : (Z EvenParity) (make-Z null))
+(Z-b x)
+
+
 (: append-one (case-lambda (EvenParity -> OddParity)
                            (OddParity -> EvenParity)                           
                            (Bitstring -> Bitstring)))