b40f4ba322 ^
2f5ff595fd ^
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