typo: made args optional

Author: bennn

typed-racket-lib/typed-racket/static-contracts/instantiate.rkt

@@ -40,7 +40,7 @@
            compute-recursive-kinds
            instantiate/inner))
 
-(define (instantiate/optimize sc fail [kind 'impersonator] #:cache cache #:trusted-positive trusted-positive #:trusted-negative trusted-negative)
+(define (instantiate/optimize sc fail [kind 'impersonator] #:cache [cache #f] #:trusted-positive [trusted-positive #f] #:trusted-negative [trusted-negative #f])
   (define recursive-kinds
     (with-handlers [(exn:fail:constraint-failure?
                       (lambda (exn) (fail #:reason (exn:fail:constraint-failure-reason exn))))]