diff --git a/collects/tests/typed-racket/succeed/test.rkt b/collects/tests/typed-racket/succeed/test.rkt
index eea7a4ec85..b0d716434a 100644
--- a/collects/tests/typed-racket/succeed/test.rkt
+++ b/collects/tests/typed-racket/succeed/test.rkt
@@ -58,7 +58,7 @@
 (define-struct: xxx5 ([y : Number] [z : xxx4]))
 (define-struct: (A) xxx6 ([y : A] [z : xxx4]))
 xxx6-y
-(with-continuation-mark 1 1 1)
+(with-continuation-mark ((inst make-continuation-mark-key Integer)) 1 1)
 'foo
 '(foo foo foo)
 (define-type-alias NNN Number)
diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
index e34e7a8f5d..457d054252 100644
--- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -600,8 +600,9 @@
                   (set! x "foo")
                   x)]
         ;; w-c-m
-        [tc-e/t (with-continuation-mark 'key 'mark
-                3)
+        [tc-e/t (with-continuation-mark
+                  ((inst make-continuation-mark-key Symbol)) 'mark
+                  3)
               -PosByte]
         [tc-err (with-continuation-mark (5 4) 1
                   3)]
@@ -1351,8 +1352,10 @@
               #:ret (ret B (-FS -top -bot)))
 
         ;Continuation Prompt Tags ang Continuation Mark Sets
-        (tc-e (default-continuation-prompt-tag) -Prompt-Tag)
-        (tc-e (let: ((pt : Prompt-Tag (make-continuation-prompt-tag)))
+        ;; TODO: supporting default-continuation-prompt-tag means we need to
+        ;;       specially handle abort-current-continuation in the type system
+        ;(tc-e (default-continuation-prompt-tag) -Prompt-Tag)
+        (tc-e (let: ((pt : (Prompt-Tag Integer Integer) (make-continuation-prompt-tag)))
                    (continuation-marks #f pt)) -Cont-Mark-Set)
         (tc-e (let: ((set : Continuation-Mark-Set (current-continuation-marks)))
                    (continuation-mark-set? set)) #:ret (ret B (-FS -top -bot)))