diff --git a/test/blackbox-tests/test-cases/empty-modules.t/a.pre_413.ml b/test/blackbox-tests/test-cases/empty-modules.t/a.pre_413.ml
new file mode 100644
index 00000000000..229b3691fce
--- /dev/null
+++ b/test/blackbox-tests/test-cases/empty-modules.t/a.pre_413.ml
@@ -0,0 +1 @@
+let () = ()
\ No newline at end of file
diff --git a/test/blackbox-tests/test-cases/empty-modules.t/a.unix.ml b/test/blackbox-tests/test-cases/empty-modules.t/a.unix.ml
new file mode 100644
index 00000000000..229b3691fce
--- /dev/null
+++ b/test/blackbox-tests/test-cases/empty-modules.t/a.unix.ml
@@ -0,0 +1 @@
+let () = ()
\ No newline at end of file
diff --git a/test/blackbox-tests/test-cases/empty-modules.t/dune b/test/blackbox-tests/test-cases/empty-modules.t/dune
new file mode 100644
index 00000000000..8359d4a650f
--- /dev/null
+++ b/test/blackbox-tests/test-cases/empty-modules.t/dune
@@ -0,0 +1,13 @@
+(library
+ (name a)
+ (modules))
+
+(executable
+ (name main)
+ (modules a main)
+ (libraries
+  (select
+   a.ml
+   from
+   (a -> a.pre_413.ml)
+   (-> a.unix.ml))))
diff --git a/test/blackbox-tests/test-cases/empty-modules.t/dune-project b/test/blackbox-tests/test-cases/empty-modules.t/dune-project
new file mode 100644
index 00000000000..5bbef0b4909
--- /dev/null
+++ b/test/blackbox-tests/test-cases/empty-modules.t/dune-project
@@ -0,0 +1 @@
+(lang dune 2.5)
diff --git a/test/blackbox-tests/test-cases/empty-modules.t/main.ml b/test/blackbox-tests/test-cases/empty-modules.t/main.ml
new file mode 100644
index 00000000000..046adea04be
--- /dev/null
+++ b/test/blackbox-tests/test-cases/empty-modules.t/main.ml
@@ -0,0 +1 @@
+print_endline "foobar";
diff --git a/test/blackbox-tests/test-cases/empty-modules.t/run.t b/test/blackbox-tests/test-cases/empty-modules.t/run.t
new file mode 100644
index 00000000000..9e7b8146051
--- /dev/null
+++ b/test/blackbox-tests/test-cases/empty-modules.t/run.t
@@ -0,0 +1,5 @@
+An executable with a module that has the same name as a library in the same
+directory.
+
+  $ dune exec ./main.exe
+  foobar