summaryrefslogtreecommitdiff
path: root/test/files/neg/t6443c.check
blob: 7b7f419f6c18cc50d0c3e123abb85fefccb25eb3 (plain) (blame)
1
2
3
4
5
6
7
t6443c.scala:16: error: double definition:
def foo(d: B.D)(a: Any,d2: d.type): Unit at line 11 and
def foo(d: B.D)(a: Any)(d2: d.type): Unit at line 16
have same type after erasure: (d: B.D, a: Object, d2: B.D)Unit
  def foo(d: D)(a: Any)(d2: d.type): Unit = ()
      ^
one error found