diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/call-comp.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/call-comp.rkt
index 25ced2385d..8f90e4339d 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/call-comp.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/call-comp.rkt
@@ -17,8 +17,12 @@
 
 ((inst call/ec Integer Integer Integer) (lambda ([f : (Integer Integer -> Nothing)]) (f 0 1)))
 (let/cc k : (values String Symbol Boolean)
-   (+ 5 (k "result arity doesn't matter" 'hahaha #t)))
+   (values
+    (+ 5 (k "result arity matters, only first arg can be a different type" 'hahaha #t))
+    'must-be-symbol
+    #f))
 
 (: r : (All (a b ...) (-> a b ... b (values a b ... b))))
 (define (r A . bs) (let/ec break : (values a b ... b) (apply break A bs)))
 (r 0 1 2 3 4 5)
+