test/files/neg/t588.scala


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

abstract class Test0 {
  def visit(f: Int => Unit): Boolean
  def visit(f: Int => String): Boolean
}
trait Test {
  type TypeA <: TraitA;
  type TypeB <: TypeA with TraitB;

  def f(node : TypeA) : Unit;
  def f(brac : TypeB) : Unit;

  trait TraitA;
  trait TraitB;

}