changed SuperAccessors for t010; reassigned to ...

changed SuperAccessors for t010; reassigned to Iulian

3 files changed, 19 insertions, 0 deletions

diff --git a/src/compiler/scala/tools/nsc/typechecker/SuperAccessors.scala b/src/compiler/scala/tools/nsc/typechecker/SuperAccessors.scala
index c8691d11a8..bf847b3a58 100644
--- a/src/compiler/scala/tools/nsc/typechecker/SuperAccessors.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/SuperAccessors.scala
@@ -227,6 +227,7 @@ abstract class SuperAccessors extends transform.Transform with transform.TypingT
 
       /** Return a list of list of types of all value parameter sections. */
       def allParamTypes(tpe: Type): List[List[Type]] = tpe match {
+        case PolyType(_, restpe) => allParamTypes(restpe)
         case MethodType(pts, res) => pts :: allParamTypes(res)
         case _ => Nil
       }
diff --git a/test/pending/pos/t010/Presentations.scala b/test/pending/pos/t010/Presentations.scala
new file mode 100644
index 0000000000..ee2d94162f
--- /dev/null
+++ b/test/pending/pos/t010/Presentations.scala
@@ -0,0 +1,10 @@
+package pkg1
+trait Presentations {
+   trait ProjectImpl {
+     trait FileImpl
+     protected def lockTyper[T](f : => T) = {
+       if (this == null) None
+       else Some(f)
+     }
+   }
+}
diff --git a/test/pending/pos/t010/PresentationsX.scala b/test/pending/pos/t010/PresentationsX.scala
new file mode 100644
index 0000000000..6d6c5bf504
--- /dev/null
+++ b/test/pending/pos/t010/PresentationsX.scala
@@ -0,0 +1,8 @@
+package pkg2
+trait PresentationsX extends pkg1.Presentations {
+   trait ProjectImpl extends super.ProjectImpl {
+     trait FileImpl extends super.FileImpl {
+       lockTyper(Console.println)
+     }
+   }
+}