diff --git a/tests/neg/i15784.check b/tests/neg/i15784.check index fea28b92814c..c1540b33d956 100644 --- a/tests/neg/i15784.check +++ b/tests/neg/i15784.check @@ -1,12 +1,12 @@ --- [E006] Not Found Error: tests/neg/i15784.scala:2:26 ----------------------------------------------------------------- -2 | case List(_, Rest @ `a`) => Rest // error - | ^^^ - | Not found: a +-- [E006] Not Found Error: tests/neg/i15784.scala:2:22 ----------------------------------------------------------------- +2 | case List(_, Rest @ `a`) => Rest // error + | ^^^ + | Not found: a | | longer explanation available when compiling with `-explain` --- [E006] Not Found Error: tests/neg/i15784.scala:3:26 ----------------------------------------------------------------- -3 | case List(_, Rest @ A) => Rest // error - | ^ - | Not found: A +-- [E006] Not Found Error: tests/neg/i15784.scala:3:22 ----------------------------------------------------------------- +3 | case List(_, Rest @ A) => Rest // error + | ^ + | Not found: A | | longer explanation available when compiling with `-explain` diff --git a/tests/neg/i15784.scala b/tests/neg/i15784.scala index aacd6a2b7837..a58a27fb3cfa 100644 --- a/tests/neg/i15784.scala +++ b/tests/neg/i15784.scala @@ -1,4 +1,4 @@ def i15784 = List(42) match - case List(_, Rest @ `a`) => Rest // error - case List(_, Rest @ A) => Rest // error - case _ => ??? \ No newline at end of file + case List(_, Rest @ `a`) => Rest // error + case List(_, Rest @ A) => Rest // error + case _ => ??? \ No newline at end of file diff --git a/tests/pos/i15784.scala b/tests/pos/i15784.scala index 281e54ef4da5..ab4b82638a42 100644 --- a/tests/pos/i15784.scala +++ b/tests/pos/i15784.scala @@ -1,8 +1,8 @@ def i15784 = List(42) match - case List(_, rest @ _*) => rest - case List(_, Rest @ _*) => Rest - case List(_, `Rest` @ _*) => Rest - case _ => ??? + case List(_, rest @ _*) => rest + case List(_, Rest @ _*) => Rest + case List(_, `Rest` @ _*) => Rest + case _ => ??? def i15784_auxiliary = 42 match - case `type` : Int => `type` + case `type` : Int => `type`