diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt index e528f0e2..4165926a 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -2439,12 +2439,12 @@ [tc-err (letrec-values ([(a b) (values x "b")] [(x y) (values a b)]) a) - #:msg "no type information"] + #:msg "type information"] [tc-err (letrec-values ([(a) (values x)] [(x) (values z)] [(z) (values a)]) a) - #:msg "no type information"] + #:msg "type information"] ;; make sure no-binding cases like the middle expression are checked [tc-err (let () (define r "r") (string-append r 'foo) (define x "x") "y") #:msg "expected: String.*given: 'foo"]