1 files changed, 28 insertions, 0 deletions
diff --git a/tests/rust/monomorph_3.rs b/tests/rust/monomorph_3.rs
new file mode 100644
index 0000000..b1d69e4
--- /dev/null
+++ b/tests/rust/monomorph_3.rs
@@ -0,0 +1,28 @@
+#[repr(C)]
+union Foo<T> {
+    data: *const T
+}
+
+union Bar<T> {
+    data: *const T
+}
+
+#[repr(C)]
+union Tuple<T, E> {
+    a: *const T,
+    b: *const E,
+}
+
+type Indirection<T> = Tuple<T, f32>;
+
+#[no_mangle]
+pub extern "C" fn root(
+    a: Foo<i32>,
+    b: Foo<f32>,
+    c: Bar<f32>,
+    d: Foo<Bar<f32>>,
+    e: Bar<Foo<f32>>,
+    f: Bar<Bar<f32>>,
+    g: Tuple<Foo<f32>, f32>,
+    h: Indirection<f32>
+) { }