test/files/neg/t3873.scala


1
2
3
4
5
6
7
8
9
10
11
12

class A {
  class B
  def b: B = new B
}

object Test {
  def wrongf(a: A)(b: a.B): a.B = b

  val a = new A
  wrongf(a)(a.b)
  wrongf(new A)(a.b) // should not compile -- TODO: improve error message? the "a" is ambiguous
}