lets see if this makes the tests pass

Author: bennn

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

@@ -42,8 +42,7 @@
 
 (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))))]
+    (with-handlers [(exn:fail:constraint-failure?  (lambda (exn) #f))]
       (compute-recursive-kinds
         (contract-restrict-recursive-values (compute-constraints sc kind)))))
   (define sc/opt (optimize sc #:trusted-positive trusted-positive #:trusted-negative trusted-negative #:recursive-kinds recursive-kinds))