From 5d1f0b473dee7883b58cc22f4b5b3b4476f82437 Mon Sep 17 00:00:00 2001
From: i10416 <ito.yo16uh90616@gmail.com>
Date: Fri, 26 Jan 2024 04:30:36 +0900
Subject: [PATCH] tryfix(16459): workaround LARROW, but find a corner-case

Confusing LARROW just after XML pattern breaks the parser.
---
 tests/run/i16459.scala | 51 +++++++++++++++++++++++++++++++++---------
 1 file changed, 40 insertions(+), 11 deletions(-)

diff --git a/tests/run/i16459.scala b/tests/run/i16459.scala
index dd4cf14fbc88..909a0b3aa032 100644
--- a/tests/run/i16459.scala
+++ b/tests/run/i16459.scala
@@ -2,18 +2,12 @@ object Test {
   import scala.xml.*
   def main(args: Array[String]): Unit = {
 
-  val singleQuotedTextCase = if(true) {
+  val xml = if(true) {
     <script type="text/javascript">
       'location.reload()'
       'foo bar'
      </script>
   } else <div>empty</div>
-  
-  val casePatMatch = for (case t @ <foo>FooBar</foo> <- Seq(xml))
-   yield t
-  // TODO: This fails
-  val casePatMatchWithCond = for (case t @ <foo>FooBar</foo>  if true <- Seq(xml))
-   yield t
 
   assert(
     xml match
@@ -26,7 +20,45 @@ object Test {
       ,
       xml
     )
+  // Scala 3 syntax
+  val auxiliary0 = if true then {
+    <script type="text/javascript">
+      'location.reload()'
+      'foo bar'
+     </script>
+  } else <div>empty</div>
+
+  val auxiliary1 = if true then
+    <script type="text/javascript">
+      'location.reload()'
+      'foo bar'
+     </script>
+  else <div>empty</div>
+  
+  val auxiliary2 = if true then <div>A</div>else <div>B</div>
+
+  // Note:
+  // This does not pass in Scala 2.12.18 and 2.13.12
+  // due to "Sequence argument type annotation `: _*` cannot be used here:"
+  val auxiliary3 = if(true) <div>A</div>else <div>B</div>
+  
+  // Note: This passes in Scala  2.12.18 and 2.13.12 too.
+  val auxiliary4 = if(true) <div attr="...">A</div>else <div attr="...">B</div>
+
+  // Pattern match without guard.
+  // Note: This passes in Scala  2.12.18 and 2.13.12 too.
+  val auxiliary5 = for (case _ @ <div>empty</div> <- Seq(xml)) yield ()
+  val auxiliary6 = for (case _ @ <div>empty</div><- Seq(xml)) yield ()
+  val auxiliary7 = for (case _ @ <div>empty</div><-Seq(xml)) yield ()
+  // Pattern match with if guard.
+  // Note: This passes in Scala  2.12.18 and 2.13.12 too.
+  val auxiliary8 = for (case _ @ <foo>FooBar</foo> <- Seq(xml) if true)
+  val auxiliary9 = for (case _ @ <foo>FooBar</foo><- Seq(xml) if true)
+  val auxiliary10 = for (case _ @ <foo>FooBar</foo><-Seq(xml) if true)
+   yield ()
+  
   }
+
 }
 
 package scala.xml {
@@ -46,10 +78,7 @@ package scala.xml {
     def child: Seq[Node]
     override def toString = label + child.mkString
   }
-  class Comment(commentText: String) extends Node{
-    def label = commentText
-    def child = Nil
-  }
+
   class Elem(prefix: String, val label: String, attributes1: MetaData, scope: NamespaceBinding, minimizeEmpty: Boolean, val child: Node*) extends Node
   object Elem {
     def unapply(e:Elem):Option[(String,String,Any,Text,Any)] = Some(("dummy","dummy",null,null,null))