Merged revisions 20186,20199,20203,20208-20212,...

Merged revisions 20186,20199,20203,20208-20212,20216-20217 via svnmerge
from https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk

........
  r20186 | malayeri | 2009-12-17 13:04:55 +0100 (Thu, 17 Dec 2009) | 1 line

  Fixed #2808. Review by odersky.
........
  r20199 | odersky | 2009-12-17 16:50:52 +0100 (Thu, 17 Dec 2009) | 1 line

  implement new spec for erasure of intersection types. ........ r20203
| odersky | 2009-12-17 18:40:21 +0100 (Thu, 17 Dec 2009) | 1 line

  Closed #2795. review by dubochet.
........
  r20208 | odersky | 2009-12-17 19:06:47 +0100 (Thu, 17 Dec 2009) | 1 line

  Fixed build problem caused by r20203. Need to maintain old structure
for bootstrap. review by dubochet. ........ r20209 | odersky |
2009-12-17 19:16:47 +0100 (Thu, 17 Dec 2009) | 1 line

  Another fix for the build problem with r20203. Things are trickier
than they seemed at first. review by dubochet. ........ r20210 | odersky
| 2009-12-17 19:17:10 +0100 (Thu, 17 Dec 2009) | 1 line

  Closed #2775. Review by moors.
........
  r20211 | extempore | 2009-12-17 21:35:44 +0100 (Thu, 17 Dec 2009) | 2 lines

  Added a method to turn a class name into the pile of bytes which
is its classfile on disk. no review. ........ r20212 | extempore |
2009-12-17 21:36:00 +0100 (Thu, 17 Dec 2009) | 4 lines

  Began the process of consolidating all the code which is painfully
duplicated between MarkupParsers and MarkupParser. This motivated by the
reappearance of bug #2354 in the exact same form as the one I already
fixed. no review. ........ r20216 | rytz | 2009-12-18 11:43:36 +0100
(Fri, 18 Dec 2009) | 1 line

  read the Exceptions attribute from java classfiles. review by dragos
........ r20217 | cunei | 2009-12-18 12:54:07 +0100 (Fri, 18 Dec 2009) |
3 lines

  Disabling test for #1801 yet again, still failing on some systems. No
review. ........

1 files changed, 16 insertions, 0 deletions

diff --git a/test/files/pos/t2795.scala b/test/files/pos/t2795.scala
new file mode 100644
index 0000000000..c355a10c54
--- /dev/null
+++ b/test/files/pos/t2795.scala
@@ -0,0 +1,16 @@
+package bug1
+
+trait Element[T] {
+}
+
+trait Config {
+  type T <: Element[T]
+  // XXX Following works fine:
+  // type T <: Element[_]
+}
+
+trait Transform { self: Config =>
+  def processBlock(block: Array[T]): Unit = {
+    var X = new Array[T](1)
+  }
+}