diff --git a/compiler/noirc_frontend/src/hir/def_map/mod.rs b/compiler/noirc_frontend/src/hir/def_map/mod.rs
index 9c46ef35854..fbf94468c4b 100644
--- a/compiler/noirc_frontend/src/hir/def_map/mod.rs
+++ b/compiler/noirc_frontend/src/hir/def_map/mod.rs
@@ -64,6 +64,7 @@ pub struct CrateDefMap {
 
     pub(crate) krate: CrateId,
 
+    /// Maps an external dependency's name to its root module id.
     pub(crate) extern_prelude: BTreeMap<String, ModuleId>,
 }
 
diff --git a/test_programs/compile_success_empty/reexports/Nargo.toml b/test_programs/compile_success_empty/reexports/Nargo.toml
new file mode 100644
index 00000000000..4a87f28fd89
--- /dev/null
+++ b/test_programs/compile_success_empty/reexports/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "reexports"
+type = "bin"
+authors = [""]
+
+[dependencies]
+reexporting_lib = { path = "../../test_libraries/reexporting_lib" }
diff --git a/test_programs/compile_success_empty/reexports/src/main.nr b/test_programs/compile_success_empty/reexports/src/main.nr
new file mode 100644
index 00000000000..bb94b21b221
--- /dev/null
+++ b/test_programs/compile_success_empty/reexports/src/main.nr
@@ -0,0 +1,8 @@
+use dep::reexporting_lib::{FooStruct, MyStruct, lib};
+
+fn main() {
+    let x: FooStruct = MyStruct {
+        inner: 0
+    };
+    assert(lib::is_struct_zero(x));
+}
diff --git a/test_programs/test_libraries/exporting_lib/Nargo.toml b/test_programs/test_libraries/exporting_lib/Nargo.toml
new file mode 100644
index 00000000000..628418c0608
--- /dev/null
+++ b/test_programs/test_libraries/exporting_lib/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "exporting_lib"
+type = "lib"
+authors = [""]
+
+[dependencies]
diff --git a/test_programs/test_libraries/exporting_lib/src/lib.nr b/test_programs/test_libraries/exporting_lib/src/lib.nr
new file mode 100644
index 00000000000..af1fd7a32de
--- /dev/null
+++ b/test_programs/test_libraries/exporting_lib/src/lib.nr
@@ -0,0 +1,10 @@
+
+struct MyStruct {
+    inner: Field
+}
+
+type FooStruct = MyStruct;
+
+fn is_struct_zero(val: MyStruct) -> bool {
+    val.inner == 0
+}
diff --git a/test_programs/test_libraries/reexporting_lib/Nargo.toml b/test_programs/test_libraries/reexporting_lib/Nargo.toml
new file mode 100644
index 00000000000..c26ce501e56
--- /dev/null
+++ b/test_programs/test_libraries/reexporting_lib/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "reexporting_lib"
+type = "lib"
+authors = [""]
+
+[dependencies]
+exporting_lib = { path = "../exporting_lib" }
diff --git a/test_programs/test_libraries/reexporting_lib/src/lib.nr b/test_programs/test_libraries/reexporting_lib/src/lib.nr
new file mode 100644
index 00000000000..f12dfe01ecd
--- /dev/null
+++ b/test_programs/test_libraries/reexporting_lib/src/lib.nr
@@ -0,0 +1,3 @@
+use dep::exporting_lib::{MyStruct, FooStruct};
+
+use dep::exporting_lib as lib;