test/files/run/bug874.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

object Test {
  abstract class Base {
    type T;
    def T : T;
    def U[A](x1: A)(x2: int): Any
    T;
    U("xyz")(2)
  }
  class Mix extends Base {
    case class T {
      Console.println("T created")
    }
    case class U[A](x1: A)(x2: int) {
      Console.println("U created with "+x1+" and "+x2)
    }
  }
  def main(args : Array[String]) : Unit = {
    val obvious: Base = new Mix;
    obvious.T
    obvious.U("abc")(1)
  }
}