diff --git a/collects/tests/web-server/pr/lang-modstar.rkt b/collects/tests/web-server/pr/lang-modstar.rkt
new file mode 100644
index 0000000000..dec32b0547
--- /dev/null
+++ b/collects/tests/web-server/pr/lang-modstar.rkt
@@ -0,0 +1,6 @@
+#lang web-server/base
+
+(define f 1)
+
+(module+ test
+  (define g f))