showcase stack overflow bug with polyvariants

Author: zth

analysis/tests/src/PolyRec.res

@@ -0,0 +1,14 @@
+let rec sum = x =>
+  switch x {
+  | #Leaf => 0
+  | #Node(value, left, right) => value + left->sum + right->sum
+  }
+
+let myTree = #Node(
+  1,
+  #Node(2, #Node(4, #Leaf, #Leaf), #Node(6, #Leaf, #Leaf)),
+  #Node(3, #Node(5, #Leaf, #Leaf), #Node(7, #Leaf, #Leaf)),
+)
+
+let () = myTree->sum->Js.log
+//        ^hov

analysis/tests/src/expected/PolyRec.res.txt

@@ -0,0 +1,2 @@
+Hover src/PolyRec.res 12:10
+Fatal error: exception Stack overflow