diff --git a/test_programs/execution_success/regression_4663/Nargo.toml b/test_programs/execution_success/regression_4663/Nargo.toml
new file mode 100644
index 00000000000..b2aaf28be2e
--- /dev/null
+++ b/test_programs/execution_success/regression_4663/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "regression_4663"
+description = ""
+type = "bin"
+authors = [""]
+
+[dependencies]
diff --git a/test_programs/execution_success/regression_4663/src/main.nr b/test_programs/execution_success/regression_4663/src/main.nr
new file mode 100644
index 00000000000..f05ab2273bf
--- /dev/null
+++ b/test_programs/execution_success/regression_4663/src/main.nr
@@ -0,0 +1,23 @@
+use std::collections::map::HashMap;
+use std::hash::{BuildHasherDefault, Hasher};
+
+struct DummyHasher {}
+
+impl Hasher for DummyHasher {
+    fn finish(self) -> Field {
+        0
+    }
+
+    fn write(&mut self, _input: Field) {}
+}
+
+impl Default for DummyHasher {
+    fn default() -> Self {
+        DummyHasher {}
+    }
+}
+
+fn main() {
+    let map: HashMap<u64, u64, 10, BuildHasherDefault<DummyHasher>> = HashMap::default();
+    println(map == map);
+}
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_4663/execute__tests__expanded.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_4663/execute__tests__expanded.snap
new file mode 100644
index 00000000000..d8fcb3dd0ef
--- /dev/null
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_4663/execute__tests__expanded.snap
@@ -0,0 +1,27 @@
+---
+source: tooling/nargo_cli/tests/execute.rs
+expression: expanded_code
+---
+use std::{collections::map::HashMap, hash::{BuildHasherDefault, Hasher}};
+
+struct DummyHasher {}
+
+impl Hasher for DummyHasher {
+    fn finish(self) -> Field {
+        0_Field
+    }
+
+    fn write(&mut self, _input: Field) {}
+}
+
+impl Default for DummyHasher {
+    fn default() -> Self {
+        Self {}
+    }
+}
+
+fn main() {
+    let map: HashMap<u64, u64, 10, BuildHasherDefault<DummyHasher>> =
+        HashMap::<u64, u64, 10, BuildHasherDefault<DummyHasher>>::default();
+    println(map == map);
+}
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_4663/execute__tests__stdout.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_4663/execute__tests__stdout.snap
new file mode 100644
index 00000000000..a676d722d11
--- /dev/null
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_4663/execute__tests__stdout.snap
@@ -0,0 +1,5 @@
+---
+source: tooling/nargo_cli/tests/execute.rs
+expression: stdout
+---
+true