#lang typed/racket
(require racket/syntax)

(: f : -> Syntax)
(define (f)
  (with-syntax* ([(x ...) (list 1 2 3)])
    #`(#,(syntax +) x ...)))

#lang typed/racket
(require racket/syntax)

(: f : -> (Syntaxof Any))
(define (f)
  (with-syntax* ([(x ...) (list 1 2 3)])
    #`(#,(syntax +) x ...)))
  
Fix test case for last commit.
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.
