test/files/neg/t5572.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

class A
class B

trait X

object Z {
  def transf(a: A, b: B): X = null
}

class Test {

  def bar(): (A, B)

  def foo {
    val (b, a) = bar()
    Z.transf(a, b) match {
      case sth =>
        run(sth, b)
    }  
  }

  def run(x: X, z: B): Unit = ()
}