add failing tests for nested variant type spreads

Author: zth

jscomp/syntax/tests/parsing/grammar/pattern/expected/variantSpreads.res.txt

@@ -0,0 +1,24 @@
+
+  Syntax error!
+  tests/parsing/grammar/pattern/variantSpreads.res:37:10-12
+
+  35 │ let lookupOpt = (b: option<b>) =>
+  36 │   switch b {
+  37 │   | Some(...a as a) => doWithA(a)
+  38 │   | Some(Four) => Js.log("four")
+  39 │   | Some(Five) => Js.log("five")
+
+  Did you forget a `)` here?
+
+
+  Syntax error!
+  tests/parsing/grammar/pattern/variantSpreads.res:37:10-12
+
+  35 │ let lookupOpt = (b: option<b>) =>
+  36 │   switch b {
+  37 │   | Some(...a as a) => doWithA(a)
+  38 │   | Some(Four) => Js.log("four")
+  39 │   | Some(Five) => Js.log("five")
+
+  Did you forget a `}` here?
+

jscomp/syntax/tests/parsing/grammar/pattern/variantSpreads.res

@@ -0,0 +1,41 @@
+type a = One | Two | Three
+type b = | ...a | Four | Five
+type c = Six | Seven
+type d = | ...b | ...c
+
+let doWithA = (a: a) => {
+  switch a {
+  | One => Js.log("aaa")
+  | Two => Js.log("twwwoooo")
+  | Three => Js.log("threeeee")
+  }
+}
+
+let doWithB = (b: b) => {
+  switch b {
+  | One => Js.log("aaa")
+  | _ => Js.log("twwwoooo")
+  }
+}
+
+let lookup = (b: b) =>
+  switch b {
+  | ...a as a => doWithA(a)
+  | Four => Js.log("four")
+  | Five => Js.log("five")
+  }
+
+let lookup2 = (d: d) =>
+  switch d {
+  | ...a as a => doWithA(a)
+  | ...b as b => doWithB(b)
+  | Six | Seven => Js.log("Got rest of d")
+  }
+
+let lookupOpt = (b: option<b>) =>
+  switch b {
+  | Some(...a as a) => doWithA(a)
+  | Some(Four) => Js.log("four")
+  | Some(Five) => Js.log("five")
+  | None => Js.log("None")
+  }

tests/tests/src/VariantPatternMatchingSpreads.res

@@ -31,3 +31,11 @@ let lookup2 = (d: d) =>
   | ...b as b => doWithB(b)
   | Six | Seven => Js.log("Got rest of d")
   }
+
+let lookupOpt = (b: option<b>) =>
+  switch b {
+  | Some(...a as a) => doWithA(a)
+  | Some(Four) => Js.log("four")
+  | Some(Five) => Js.log("five")
+  | None => Js.log("None")
+  }