Fix bug in type of apply-pattern-substitute.

Found by @takikawa.

pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt

@@ -173,7 +173,7 @@
    (-> Univ Univ Univ)]
   ;; from the expansion of `with-syntax'
   [(make-template-identifier 'apply-pattern-substitute 'racket/private/stxcase)
-   (->* (list (-Syntax Univ) Univ) Univ Any-Syntax)]
+   (->* (list (-Syntax Univ) Univ) Univ (-Syntax Univ))]
   ;; same
   [(make-template-identifier 'with-syntax-fail 'racket/private/with-stx)
    (-> (-Syntax Univ) (Un))]

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt

@@ -3020,7 +3020,8 @@
           (define (f) (values "foo" 'bar))
           (f))
         #:ret (ret (list (t:Un -String -Void) (t:Un -Symbol -Void)))]
-
+       [tc-e (syntax->datum #`(#,(lambda (x) x)))
+             #:ret (ret Univ)]
         )
 
   (test-suite