diff --git a/collects/tests/typed-scheme/fail/struct-provide.ss b/collects/tests/typed-scheme/fail/struct-provide.ss
new file mode 100644
index 0000000000..2e4f65b727
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/struct-provide.ss
@@ -0,0 +1,11 @@
+#;
+(exn-pred exn:fail:syntax? #rx".*typed module.*")
+#lang scheme/load
+
+(module m typed-scheme
+  (define-struct: q ())
+  (provide (all-defined-out)))
+
+(module n scheme
+  (require 'm)
+  q)
diff --git a/collects/tests/typed-scheme/succeed/rts-prov.ss b/collects/tests/typed-scheme/succeed/rts-prov.ss
new file mode 100644
index 0000000000..a900b54e28
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/rts-prov.ss
@@ -0,0 +1,14 @@
+#lang scheme/load
+
+(module l scheme
+  (define-struct q ())
+  (provide (all-defined-out)))
+
+(module m typed-scheme
+  (require-typed-struct q () 'l)
+  (provide (all-defined-out)))
+
+(module n typed-scheme
+  (require 'm)
+  (: f q)
+  (define f (make-q)))