add tests for record extension

Author: mununki

jscomp/test/DotDotDot.res

@@ -5,3 +5,28 @@ type b = {dotdotdot: a, y: string}
 type c = {dotdotdot: b, z: string}
 
 let v: c = {x: 10, y: "", z: ""}
+
+type globalProps = {
+  id?: string,
+  name?: string,
+  title?: string,
+  className?: string,
+}
+
+type anchorProps = {
+  dotdotdot: globalProps,
+  download?: string,
+  href?: string,
+  target?: [#_self | #_blank | #_parent | #_top],
+}
+
+// globalProps only case?
+type divProps = {
+  dotdotdot: globalProps,
+}
+
+type svgProps = {
+  dotdotdot: globalProps,
+  x?: string,
+  y?: string,
+}