test/files/neg/abstract.scala


1
2
3
4
5
6
7
8
9

trait A {
  type T <: A;
  def baz(): A;
  def bar(): T;
  def foo1 = bar().bar();
  def foo2 = bar().baz();
  def foo3 = baz().bar();
  def foo4 = baz().baz();
}