diff --git a/collects/tests/typed-scheme/fail/pr10594.rkt b/collects/tests/typed-scheme/fail/pr10594.rkt
new file mode 100644
index 0000000000..41eb850176
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/pr10594.rkt
@@ -0,0 +1,21 @@
+#;
+(exn-pred exn:fail:contract? #rx".*U broke the contract.*")
+#lang scheme/load
+
+(module T typed-scheme
+ 
+  (define-struct: [a] thing ([get : a]))
+ 
+  (: thing->string ((thing String) -> String))
+  (define (thing->string x)
+    (string-append "foo" (thing-get x)))
+ 
+  (provide (all-defined-out)))
+
+(module U scheme
+
+  (require 'T)
+ 
+  (thing->string (make-thing 5)))
+
+(require 'U)
\ No newline at end of file