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