Fix arbitrarily nested equations in the base of `math.attach` (#5613)

5 files changed, 22 insertions, 1 deletions

diff --git a/tests/ref/math-attach-nested-base.png b/tests/ref/math-attach-nested-base.png
index 54c62387..4b8126e7 100644
--- a/tests/ref/math-attach-nested-base.png
+++ b/tests/ref/math-attach-nested-base.png
diff --git a/tests/ref/math-attach-nested-deep-base.png b/tests/ref/math-attach-nested-deep-base.png
new file mode 100644
index 00000000..e745e6b6
--- /dev/null
+++ b/tests/ref/math-attach-nested-deep-base.png
diff --git a/tests/ref/math-stretch-attach-nested-equation.png b/tests/ref/math-stretch-attach-nested-equation.png
index 5ab4fbb5..3ddb0d00 100644
--- a/tests/ref/math-stretch-attach-nested-equation.png
+++ b/tests/ref/math-stretch-attach-nested-equation.png
diff --git a/tests/suite/math/attach.typ b/tests/suite/math/attach.typ
index 56fa47c5..cedc3a4a 100644
--- a/tests/suite/math/attach.typ
+++ b/tests/suite/math/attach.typ
@@ -167,9 +167,22 @@ $ attach(a^b, b: c) quad
 
 #let a0 = math.attach(math.alpha, b: [0])
 #let a1 = $alpha^1$
+#let a2 = $attach(a1, bl: 3)$
 
 $ a0 + a1 + a0_2 \
-  a1_2 + a0^2 + a1^2 $
+  a1_2 + a0^2 + a1^2 \
+  a2 + a2_2 + a2^2 $
+
+--- math-attach-nested-deep-base ---
+// Test attachments when the base has attachments and is nested arbitrarily
+// deep.
+#{
+  let var = $x^1$
+  for i in range(24) {
+    var = $var$    
+  }
+  $var_2$
+}
 
 --- math-attach-scripts-extended-shapes ---
 // Test script attachments positioning if the base is an extended shape (or a
diff --git a/tests/suite/math/stretch.typ b/tests/suite/math/stretch.typ
index 6bf13e25..1377f4d2 100644
--- a/tests/suite/math/stretch.typ
+++ b/tests/suite/math/stretch.typ
@@ -83,3 +83,11 @@ $ stretch(base, size: #50%) $
 // Test stretching with attachments when nested in an equation.
 #let body = $stretch(=)$
 $ body^"text" $
+
+#{
+  let body = $stretch(=)$
+  for i in range(24) {
+    body = $body$    
+  }
+  $body^"long text"$
+}