Add QuantifiedExpr config

extensions/default_unparsing_config.json

@@ -4835,6 +4835,39 @@
         ]
       }
     },
+    "QuantifiedExpr": {
+      "node": {
+        "kind": "group",
+        "document": {
+          "kind": "innerRoot",
+          "contents": [
+            {
+              "kind": "text",
+              "text": "for"
+            },
+            "whitespace",
+            {
+              "kind": "recurse_field",
+              "field": "f_quantifier"
+            },
+            {
+              "kind": "recurse_field",
+              "field": "f_loop_spec"
+            },
+            "line",
+            {
+              "kind": "text",
+              "text": "=>"
+            },
+            "whitespace",
+            {
+              "kind": "recurse_field",
+              "field": "f_expr"
+            }
+          ]
+        }
+      }
+    },
     "QualExpr": {
       "node": {
         "kind": "group",

testsuite/tests/unparsing/quantified_expr/input.ada

@@ -0,0 +1,7 @@
+if (for some Change of Value.contentChanges => Change > 80)
+  or else (for all Change of Value.contentChanges
+           => Change.text.Character_Length)
+then
+   --  Don't dump very long changes to avoid stack overflow
+   Self.Output.Put ("<some big change>", Ok);
+end if;

testsuite/tests/unparsing/quantified_expr/test.out

@@ -0,0 +1,7 @@
+if (for some Change of Value.contentChanges => Change > 80)
+  or else (for all Change of Value.contentChanges
+           => Change.text.Character_Length)
+then
+   --  Don't dump very long changes to avoid stack overflow
+   Self.Output.Put ("<some big change>", Ok);
+end if;

testsuite/tests/unparsing/quantified_expr/test.yaml

@@ -0,0 +1,6 @@
+driver: unparser
+rule: stmt
+description: |
+  This test checks that `QuantifiedExpr` nodes:
+  - do not line break is they fit in the line
+  - line breaks before the `=>` token if they don't fit in the line