test/files/neg/t5572.check


1
2
3
4
5
6
7
8
9
10
11

t5572.scala:16: error: type mismatch;
 found   : B
 required: A
    Z.transf(a, b) match {
             ^
t5572.scala:18: error: type mismatch;
 found   : A
 required: B
        run(sth, b)
                 ^
two errors found