diff --git a/typed-racket-lib/typed-racket/base-env/prims.rkt b/typed-racket-lib/typed-racket/base-env/prims.rkt
index 5ba87291..bf45dae4 100644
--- a/typed-racket-lib/typed-racket/base-env/prims.rkt
+++ b/typed-racket-lib/typed-racket/base-env/prims.rkt
@@ -114,6 +114,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
                     (only-in racket/base values))
          (for-syntax
           racket/lazy-require
+          syntax/location
           syntax/parse
           syntax/parse/experimental/template
           syntax/stx
@@ -316,7 +317,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
                        'cast
                        'typed-world
                        val
-                       (quote-syntax #,stx)))
+                       (quote-srcloc #,stx)))
                     'feature-profile:TR-dynamic-check #t))
              #'ty)))
 
diff --git a/typed-racket-test/fail/cast-mod1.rkt b/typed-racket-test/fail/cast-mod1.rkt
index 09c5ddff..c4f36277 100644
--- a/typed-racket-test/fail/cast-mod1.rkt
+++ b/typed-racket-test/fail/cast-mod1.rkt
@@ -1,5 +1,5 @@
 #;
-(exn-pred exn:fail:contract? #rx".*produced: 3" #rx".*promised: String.*" )
+(exn-pred exn:fail:contract? #rx".*produced: 3" #rx".*promised: String.*" #rx"6\\.0")
 
 #lang typed/racket/base