diff --git a/racket/collects/racket/contract/private/guts.rkt b/racket/collects/racket/contract/private/guts.rkt
index b21feca9a6..a73ca22453 100644
--- a/racket/collects/racket/contract/private/guts.rkt
+++ b/racket/collects/racket/contract/private/guts.rkt
@@ -302,6 +302,7 @@
                                    #f
                                    (memq x the-known-good-contracts))])]
       [(null? x) list/c-empty]
+      [(not x) false/c-contract]
       [(or (symbol? x) (boolean? x) (keyword? x))
        (make-eq-contract x
                          (if (name-default? name)
@@ -477,6 +478,8 @@
               ((predicate-contract-pred that) this-val))))
    #:list-contract? (λ (c) (null? (eq-contract-val c)))))
 
+(define false/c-contract (make-eq-contract #f #f))
+
 (define-struct equal-contract (val name)
   #:property prop:custom-write contract-custom-write-property-proc
   #:property prop:flat-contract