diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 2cc2fed8e8..56b9ee854a 100644
--- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -1403,6 +1403,8 @@
               (-vec -Integer)]
 	[tc-e/t (ann #() (Vectorof Integer))
                 (-vec -Integer)]
+        
+        [tc-e/t (ann (lambda: ([x : Boolean]) (if x x #t)) (Boolean -> #t)) (t:-> -Boolean (-val #t))]
         )
   (test-suite
    "check-type tests"
diff --git a/collects/typed-racket/types/abbrev.rkt b/collects/typed-racket/types/abbrev.rkt
index 7ecd8dbd99..ed3ead09f3 100644
--- a/collects/typed-racket/types/abbrev.rkt
+++ b/collects/typed-racket/types/abbrev.rkt
@@ -120,7 +120,7 @@
 
 (define -Listof (-poly (list-elem) (make-Listof list-elem)))
 
-(define -Boolean (make-Base 'Boolean #'boolean? boolean? #'-Boolean))
+(define -Boolean (*Un (-val #t) (-val #f)))
 (define -Symbol (make-Base 'Symbol #'symbol? symbol? #'-Symbol))
 (define -Void (make-Base 'Void #'void? void? #'-Void))
 (define -Undefined