blob: 87f470db03d4aadab252ae62babaf10d66dcfd6d (
plain) (
tree)
|
|
// $Id$
object bug {
//##########################################################################
trait Foo[+a];
def foo0[a](x: a*): Foo[a] = foo0();
val foo1: Int = 0;
def foo1[a](x: a*): Foo[a] = foo1();
def bar0[a](x: a): Int = 0;
def bar1[a](x: Foo[a]): Int = 0;
def bar2[a](x: Foo[Foo[a]]): Int = 0;
def bar3[a](x: Foo[Foo[Foo[a]]]): Int = 0;
//##########################################################################
bar0(foo0());
bar0(foo0(foo0()));
bar0(foo0(foo0(foo0())));
bar0(foo0(foo0(foo0(foo0()))));
bar0[Int](foo0()); // error 1
bar0[Int](foo0(foo0())); // error 2
bar0[Int](foo0(foo0(foo0()))); // error 3
bar0[Int](foo0(foo0(foo0(foo0())))); // error 4
bar0[Foo[Int]](foo0());
bar0[Foo[Int]](foo0(foo0())); // error 5
bar0[Foo[Int]](foo0(foo0(foo0()))); // error 6
bar0[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 7
bar0[Foo[Foo[Int]]](foo0());
bar0[Foo[Foo[Int]]](foo0(foo0()));
bar0[Foo[Foo[Int]]](foo0(foo0(foo0()))); // error 8
bar0[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error 9
//##########################################################################
bar1(foo0());
bar1(foo0(foo0()));
bar1(foo0(foo0(foo0())));
bar1(foo0(foo0(foo0(foo0()))));
bar1[Int](foo0());
bar1[Int](foo0(foo0())); // error 10
bar1[Int](foo0(foo0(foo0()))); // error 11
bar1[Int](foo0(foo0(foo0(foo0())))); // error 12
bar1[Foo[Int]](foo0());
bar1[Foo[Int]](foo0(foo0()));
bar1[Foo[Int]](foo0(foo0(foo0()))); // error 13
bar1[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 14
bar1[Foo[Foo[Int]]](foo0());
bar1[Foo[Foo[Int]]](foo0(foo0()));
bar1[Foo[Foo[Int]]](foo0(foo0(foo0())));
bar1[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error 15
//##########################################################################
bar2(foo0());
bar2(foo0(foo0()));
bar2(foo0(foo0(foo0())));
bar2(foo0(foo0(foo0(foo0()))));
bar2[Int](foo0());
bar2[Int](foo0(foo0()));
bar2[Int](foo0(foo0(foo0()))); // error 16
bar2[Int](foo0(foo0(foo0(foo0())))); // error 17
bar2[Foo[Int]](foo0());
bar2[Foo[Int]](foo0(foo0()));
bar2[Foo[Int]](foo0(foo0(foo0())));
bar2[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 18
bar2[Foo[Foo[Int]]](foo0());
bar2[Foo[Foo[Int]]](foo0(foo0()));
bar2[Foo[Foo[Int]]](foo0(foo0(foo0())));
bar2[Foo[Foo[Int]]](foo0(foo0(foo0(foo0()))));
//##########################################################################
bar3(foo0());
bar3(foo0(foo0()));
bar3(foo0(foo0(foo0())));
bar3(foo0(foo0(foo0(foo0()))));
bar3[Int](foo0());
bar3[Int](foo0(foo0()));
bar3[Int](foo0(foo0(foo0())));
bar3[Int](foo0(foo0(foo0(foo0())))); // error 20
bar3[Foo[Int]](foo0());
bar3[Foo[Int]](foo0(foo0()));
bar3[Foo[Int]](foo0(foo0(foo0())));
bar3[Foo[Int]](foo0(foo0(foo0(foo0()))));
bar3[Foo[Foo[Int]]](foo0());
bar3[Foo[Foo[Int]]](foo0(foo0()));
bar3[Foo[Foo[Int]]](foo0(foo0(foo0())));
bar3[Foo[Foo[Int]]](foo0(foo0(foo0(foo0()))));
//##########################################################################
//##########################################################################
//##########################################################################
bar0(foo1());
bar0(foo1(foo1()));
bar0(foo1(foo1(foo1())));
bar0(foo1(foo1(foo1(foo1()))));
bar0[Int](foo1()); // error 21
bar0[Int](foo1(foo1())); // error 22
bar0[Int](foo1(foo1(foo1()))); // error 23
bar0[Int](foo1(foo1(foo1(foo1())))); // error 24
bar0[Foo[Int]](foo1());
bar0[Foo[Int]](foo1(foo1())); // error 25
bar0[Foo[Int]](foo1(foo1(foo1()))); // error 26
bar0[Foo[Int]](foo0(foo1(foo1(foo1())))); // error 27
bar0[Foo[Foo[Int]]](foo1());
bar0[Foo[Foo[Int]]](foo1(foo1()));
bar0[Foo[Foo[Int]]](foo1(foo1(foo1()))); // error 28
bar0[Foo[Foo[Int]]](foo1(foo0(foo1(foo1())))); // error 29
//##########################################################################
bar1(foo1());
bar1(foo1(foo1()));
bar1(foo1(foo1(foo1())));
bar1(foo1(foo1(foo1(foo1()))));
bar1[Int](foo1());
bar1[Int](foo1(foo1())); // error 30
bar1[Int](foo1(foo1(foo1()))); // error 31
bar1[Int](foo1(foo1(foo1(foo1())))); // error 32
bar1[Foo[Int]](foo1());
bar1[Foo[Int]](foo1(foo1()));
bar1[Foo[Int]](foo1(foo1(foo1()))); // error 33
bar1[Foo[Int]](foo1(foo1(foo1(foo1())))); // error 34
bar1[Foo[Foo[Int]]](foo1());
bar1[Foo[Foo[Int]]](foo1(foo1()));
bar1[Foo[Foo[Int]]](foo1(foo1(foo1())));
bar1[Foo[Foo[Int]]](foo1(foo1(foo1(foo1())))); // error 35
//##########################################################################
}
|
