Another one brought to compilation by r25149. Test case closes #1318, no review.

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@25151 5e8d7ff9-d8ef-0310-90f0-a4852d11357a

test/files/pos/bug1318.scala

@@ -0,0 +1,31 @@
+abstract class F {
+    type mType <: M
+}
+
+abstract class M { self =>
+
+    type mType <: M
+
+    type fType = F {type mType >: self.mType }
+    def fs: List[fType]
+}
+
+abstract class A0 extends M {
+    type mType = A0
+    def fs: List[fType] = Nil
+}
+
+object A extends A0 {}
+
+abstract class B0 extends M {
+    type mType = B0
+    def fs: List[fType] = Nil 
+}
+
+object B extends B0 {}
+
+object C {
+    def ab = List(A) ::: List(B)
+    // the following compiles successfully:
+    // def ab = List(A) ::: List[M](B)
+}