From 3ee6b3653f8c25d7d6b19b9f5d4af7fa082146a8 Mon Sep 17 00:00:00 2001 From: Iulian Dragos Date: Thu, 18 Jun 2009 17:19:55 +0000 Subject: Specialization landed in trunk. --- test/files/pos/spec-cyclic.scala | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 test/files/pos/spec-cyclic.scala (limited to 'test/files/pos/spec-cyclic.scala') diff --git a/test/files/pos/spec-cyclic.scala b/test/files/pos/spec-cyclic.scala new file mode 100644 index 0000000000..65da297989 --- /dev/null +++ b/test/files/pos/spec-cyclic.scala @@ -0,0 +1,33 @@ +trait AbsFun[@specialized -A, @specialized +B] { + def apply(x: A): B +} + +trait MyPartialFunction[-A, +B] extends AnyRef with AbsFun[A, B] + +trait ColMap[A, +B] extends MyPartialFunction[A, B] /*with Collection[(A, B)] */ + +trait ColSorted[K,+A] extends ColRanged[K,A] + +trait ColSortedMap[K,+E] extends ColMap[K,E] with ColSorted[K,Tuple2[K,E]] + +trait MutMap[A, B] extends AnyRef + with ColMap[A, B] + +trait ColRanged[K, +A] //extends Iterable[A] + +trait JclRanged[K,A] extends ColRanged[K,A] //with MutableIterable[A] { + +trait JclMap[K,E] extends /*collection.jcl.MutableIterable[Tuple2[K,E]] with*/ MutMap[K,E] + +trait JclSorted[K,A] extends ColSorted[K,A] with JclRanged[K,A] + +trait JclSortedMap[K,E] extends ColSortedMap[K,E] with JclMap[K,E] with JclSorted[K,Tuple2[K,E]] + +class Foo[A, B] extends JclSortedMap[A, B] { + def apply(x: A): B = error("NYI") +} + +class Bar { + val x: Foo[Int, Int] = new Foo[Int, Int] + x.apply(0) +} -- cgit v1.2.3