test: Add RawOptional test case

Author: Julow

test/xref2/github_issue_1001.t/run.t

@@ -1,7 +1,7 @@
   $ ocamlc -c -bin-annot test.ml
   $ odoc compile test.cmt
   $ odoc link test.odoc
-  $ odoc html-generate -o html test.odocl
+  $ odoc html-generate -o html --indent test.odocl
   $ odoc support-files -o html
 
 We should have an 'Optional' argument (as opposed to a 'RawOptional' one)
@@ -26,3 +26,37 @@ We should have an 'Optional' argument (as opposed to a 'RawOptional' one)
     },
     "value": "Abstract"
   }
+
+Harder case contains a "RawOptional":
+
+  $ odoc_print -r g test.odocl
+  {
+    "id": { "`Value": [ { "`Root": [ "None", "Test" ] }, "g" ] },
+    "source_loc": "None",
+    "doc": { "elements": [], "suppress_warnings": "false" },
+    "type_": {
+      "Arrow": [
+        { "Some": { "RawOptional": "optional" } },
+        {
+          "Constr": [
+            {
+              "`Resolved": {
+                "`Identifier": {
+                  "`Type": [ { "`Root": [ "None", "Test" ] }, "hard" ]
+                }
+              }
+            },
+            []
+          ]
+        },
+        {
+          "Arrow": [
+            "None",
+            { "Constr": [ { "`Resolved": { "`CoreType": "unit" } }, [] ] },
+            { "Var": "a" }
+          ]
+        }
+      ]
+    },
+    "value": "Abstract"
+  }

test/xref2/github_issue_1001.t/test.ml

@@ -1,2 +1,6 @@
-type t = int option
-let rec f ?(optional : t) () = f ?optional ()
+type easy = int option
+let rec f ?(optional : easy) () = f ?optional ()
+
+type 'a opt = 'a option
+type hard = int opt
+let rec g ?(optional : hard) () = g ?optional ()