diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/gui-contract.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/gui-contract.rkt
new file mode 100644
index 00000000..1bdd1dc7
--- /dev/null
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/gui-contract.rkt
@@ -0,0 +1,17 @@
+#lang racket/base
+
+;; Make sure contracts for GUI types can be generated in a
+;; reasonable amount of time and space.
+
+(require racket/sandbox)
+
+(call-with-limits
+ 120
+ 500
+ (λ () (eval '(begin (module a typed/racket
+                       (require typed/racket/gui)
+                       (define x (make-object bitmap% 100 100))
+                       (provide x))
+                     (require 'a)
+                     x)
+             (make-base-namespace))))