remove an expression for debugging

fix #987

Author: capfredf

typed-racket-lib/typed-racket/typecheck/tc-funapp.rkt

@@ -82,7 +82,6 @@
       [(Some: _ (Fun: (list arrow rst ...)))
        (unless (null? rst)
          (tc-error/fields "currently doesn't support case->" #:delayed? #f))
-       (match-define (list (tc-results: (list (tc-result: t _ o)) _)) args-res)
        (let ([checked-ret (tc/funapp1 f-stx args-stx arrow args-res expected)])
          (match checked-ret
            [(tc-results: (list (tc-result: t (PropSet: p+ p-) o__)) _)

typed-racket-test/succeed/gh-issue-987.rkt

@@ -0,0 +1,7 @@
+#lang typed/racket
+
+(: a (-> (Some (a) (-> a)) Void))
+
+(define (a sizeable)
+  (sizeable)
+  (void))