diff --git a/crates/compiler/test_mono/generated/recursive_function_and_union_with_inference_hole.txt b/crates/compiler/test_mono/generated/recursive_function_and_union_with_inference_hole.txt
new file mode 100644
index 0000000000..c1e56de63c
--- /dev/null
+++ b/crates/compiler/test_mono/generated/recursive_function_and_union_with_inference_hole.txt
@@ -0,0 +1,18 @@
+procedure List.5 (#Attr.2, #Attr.3):
+    let List.494 : List [<rnnu>C List *self] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
+    ret List.494;
+
+procedure Test.2 (Test.5):
+    let Test.6 : List [<rnnu>C List *self] = UnionAtIndex (Id 0) (Index 0) Test.5;
+    let Test.15 : {} = Struct {};
+    let Test.7 : List [<rnnu>C List *self] = CallByName List.5 Test.6 Test.15;
+    let Test.14 : [<rnnu>C List *self] = TagId(0) Test.7;
+    ret Test.14;
+
+procedure Test.0 ():
+    let Test.16 : List [<rnnu>C List *self] = Array [];
+    let Test.12 : [<rnnu>C List *self] = TagId(0) Test.16;
+    let Test.10 : [<rnnu>C List *self] = CallByName Test.2 Test.12;
+    dec Test.12;
+    let Test.11 : Str = "";
+    ret Test.11;
diff --git a/crates/compiler/test_mono/src/tests.rs b/crates/compiler/test_mono/src/tests.rs
index 9ce12198ec..26cd0a97ce 100644
--- a/crates/compiler/test_mono/src/tests.rs
+++ b/crates/compiler/test_mono/src/tests.rs
@@ -2087,10 +2087,7 @@ fn match_list() {
 }
 
 #[mono_test]
-#[ignore = "https://github.com/roc-lang/roc/issues/4561"]
 fn recursive_function_and_union_with_inference_hole() {
-    let _tracing_guards = roc_tracing::setup_tracing!();
-
     indoc!(
         r#"
         app "test" provides [main] to "./platform"