Merge pull request #7315 from dotty-staging/fix-#7247

odersky · web-flow · commit 19b4216713bd · 2019-09-25T17:33:54.000+02:00
Fix #7247: Align isVarPattern and patternVar
diff --git a/compiler/src/dotty/tools/dotc/ast/Desugar.scala b/compiler/src/dotty/tools/dotc/ast/Desugar.scala
@@ -1108,7 +1108,7 @@ object desugar {
 
   /** Expand variable identifier x to x @ _ */
   def patternVar(tree: Tree)(implicit ctx: Context): Bind = {
-    val Ident(name) = tree
+    val Ident(name) = unsplice(tree)
     Bind(name, Ident(nme.WILDCARD)).withSpan(tree.span)
   }
 
diff --git a/tests/neg/i7247.scala b/tests/neg/i7247.scala
@@ -0,0 +1,2 @@
+val x = "foo" match
+  case _: (a *: (b: Any)) => ???  // error

Original file line number	Diff line number	Diff line change
`@@ -1108,7 +1108,7 @@ object desugar {`
`1108`	`1108`
`1109`	`1109`	`/** Expand variable identifier x to x @ _ */`
`1110`	`1110`	`def patternVar(tree: Tree)(implicit ctx: Context): Bind = {`
`1111`		`- val Ident(name) = tree`
	`1111`	`+ val Ident(name) = unsplice(tree)`
`1112`	`1112`	`Bind(name, Ident(nme.WILDCARD)).withSpan(tree.span)`
`1113`	`1113`	`}`
`1114`	`1114`