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 30555cb4..37d4329d 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
@@ -1722,6 +1722,10 @@
               (make-Evt -String))
         (tc-e (guard-evt (inst make-channel String))
               (make-Evt -String))
+        (tc-e (sync (replace-evt always-evt (lambda (x) 3)))
+              (-mu x (make-Evt x)))
+        (tc-e (sync (replace-evt always-evt (lambda (x) (alarm-evt (+ (current-inexact-milliseconds) 1000)))))
+              (-mu x (make-Evt x)))
         (tc-err (let: ([a : (U (Evtof Any) String) always-evt])
                   (if (handle-evt? a) a (string->symbol a)))
           #:ret (ret (t:Un -Symbol (make-Evt Univ))))