Bug when use existential functions without arguments.

[yjqww6]

What version of Racket are you using?

7.9 cs

What program did you run?

#lang typed/racket

(: a (-> (Some (a) (-> a)) Void))

(define (a sizeable)
  (sizeable)
  (void))

What should have happened?

type checks.

If you got an error message, please include it here.

racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-funapp.rkt:85:7: match-define: no matching clause for '()

---

BTW: With an argument, it works.

#lang typed/racket

(: a (-> (Some (a) (-> Any a)) Void))

(define (a sizeable)
  (sizeable 'a)
  (void))