Don't eta expand in Pattern mode.

odersky · odersky · commit 42cbf5c94d3a · 2017-06-06T16:34:52.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -2016,7 +2016,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
             else -1 // no eta expansion in this case
           }
 
-        if (arity >= 0 && !tree.symbol.isConstructor)
+        if (arity >= 0 && !tree.symbol.isConstructor && !ctx.mode.is(Mode.Pattern))
           typed(etaExpand(tree, wtp, arity), pt)
         else if (wtp.paramInfos.isEmpty)
           adaptInterpolated(tpd.Apply(tree, Nil), pt, EmptyTree)

Original file line number	Diff line number	Diff line change
`@@ -2016,7 +2016,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit`
`2016`	`2016`	`else -1 // no eta expansion in this case`
`2017`	`2017`	`}`
`2018`	`2018`
`2019`		`- if (arity >= 0 && !tree.symbol.isConstructor)`
	`2019`	`+ if (arity >= 0 && !tree.symbol.isConstructor && !ctx.mode.is(Mode.Pattern))`
`2020`	`2020`	`typed(etaExpand(tree, wtp, arity), pt)`
`2021`	`2021`	`else if (wtp.paramInfos.isEmpty)`
`2022`	`2022`	`adaptInterpolated(tpd.Apply(tree, Nil), pt, EmptyTree)`