test/files/neg/abstract-explaintypes.scala


1
2
3
4
5
6
7
8
9
10
11

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