b40f4ba322 ^
d5a1ea6187 ^
1 2
3 4
5 6
t3873.scala:11: error: type mismatch; found : Test.a.B required: a.B where val a: A wrongf(new A)(a.b) // should not compile ^ one error found