Merge pull request scala#7466 from diesalbla/bug_10228

Add Regression test for Bug t10228

Author: SethTisue

test/files/neg/t10228.check

@@ -0,0 +1,4 @@
+t10228.scala:9: error: malformed type: A#Type
+  def g[A <: Fili[A]]: Unit = implicitly[A <:< A#Type]
+                                                 ^
+one error found

test/files/neg/t10228.scala

@@ -0,0 +1,10 @@
+object t10228 {
+  trait Data { self =>
+    type Type >: self.type <: Data
+  }
+  trait DataF[P <: Data, A <: DataF[P, A]] extends Data { type Type = P#Type }
+
+  type Fili[A <: Data] = DataF[A, A]
+
+  def g[A <: Fili[A]]: Unit = implicitly[A <:< A#Type]
+}