diff --git a/typed-racket-lib/typed-racket/typecheck/error-message.rkt b/typed-racket-lib/typed-racket/typecheck/error-message.rkt index ee4f6a01..26755f18 100644 --- a/typed-racket-lib/typed-racket/typecheck/error-message.rkt +++ b/typed-racket-lib/typed-racket/typecheck/error-message.rkt @@ -18,7 +18,8 @@ (-or/c Type/c string?) -any)] [type-mismatch - (-->* ((-or/c Type/c string?) (-or/c Type/c string?)) + (-->* ((-or/c Type/c Filter? string?) + (-or/c Type/c Filter? string?)) ((-or/c string? #f)) -any)])