type-expander/test/base-lang-test-2.rkt

#lang racket

(module m type-expander/base
  (require typed/rackunit)
  (check-equal? (ann (add1 1)
                     (Let ([T Number]) T))
                2))