diff --git a/typed-racket-test/succeed/unsafe-require-top-level.rkt b/typed-racket-test/succeed/unsafe-require-top-level.rkt
new file mode 100644
index 00000000..4201300d
--- /dev/null
+++ b/typed-racket-test/succeed/unsafe-require-top-level.rkt
@@ -0,0 +1,8 @@
+#lang racket/load
+
+(require typed/racket
+         typed/racket/unsafe)
+
+(unsafe-require/typed racket/base [+ String])
+
++