test/files/pos/t8329.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

object Test {
  def pf(pf: PartialFunction[Any, Unit]) = ()
  def f1(pf: Function[Any, Unit]) = ()
 
  class A1; class B1
  def test1(x: String, x1: String, default: String) = pf {
    case _ if (
         x.isEmpty
      && default.isEmpty // was binding to synthetic param
      && x1.isEmpty      // was binding to synthetic param
    ) =>
      x.isEmpty
      default.isEmpty // was binding to synthetic param
      x1.isEmpty      // was binding to synthetic param
      new A1; new B1
  }

  def test2(x: String, x1: String, default: String) = f1 {
    case _ if (
         x.isEmpty
      && default.isEmpty
      && x1.isEmpty
    ) =>
      x.isEmpty
      default.isEmpty
      x1.isEmpty
      new A1; new B1
  }
}