summaryrefslogtreecommitdiff
path: root/test/files/neg/bug588.check
blob: b1e5340c9191c1503af222534c513cff1d615124 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
bug588.scala:3: error: double definition:
method visit:((int) => String)boolean and
method visit:((int) => unit)boolean at line 2
have same type after erasure: (Function1)Boolean
  def visit(f: int => String): boolean
  ^
bug588.scala:10: error: double definition:
method f:(Test.this.TypeB)Unit and
method f:(Test.this.TypeA)Unit at line 9
have same type after erasure: (Test#TraitA)Unit
  def f(brac : TypeB) : Unit;
  ^
two errors found