diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt index f50396af..18bc5e5e 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt @@ -244,7 +244,7 @@ (register-ignored! form) (check-subforms/ignore form) ;; We trust ignore to be only on syntax objects objects that are well typed - expected] + (ret -Bottom)] ;; explicit failure [t:typecheck-failure (explicit-fail #'t.stx #'t.message #'t.var)]