Fix test case for last commit.

There ought to be a way to improve the type of `apply-pattern-substitute`,
but we haven't found it yet.

original commit: 1380cfea346dd8a56ee7c9110b6da4fbc2ed2f96

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/with-syntax.rkt

@@ -1,7 +1,8 @@
 #lang typed/racket
 (require racket/syntax)
 
-(: f : -> Syntax)
+(: f : -> (Syntaxof Any))
 (define (f)
   (with-syntax* ([(x ...) (list 1 2 3)])
     #`(#,(syntax +) x ...)))
+