1 files changed, 0 insertions, 22 deletions
diff --git a/tests/untried/pos/t7517.scala b/tests/untried/pos/t7517.scala
deleted file mode 100644
index df4f40130..000000000
--- a/tests/untried/pos/t7517.scala
+++ /dev/null
@@ -1,22 +0,0 @@
-trait Box[ K[A[x]] ]
-
-object Box {
-   // type constructor composition
-   sealed trait ∙[A[_], B[_]] { type l[T] = A[B[T]] }
-
-   // composes type constructors inside K
-   type SplitBox[K[A[x]], B[x]] = Box[ ({ type l[A[x]] = K[ (A ∙ B)#l] })#l ]
-
-   def split[ K[A[x]], B[x] ](base: Box[K]): SplitBox[K,B] = ???
-
-   class Composed[B[_], L[A[x]] ] {
-      val box: Box[L] = ???
-
-      type Split[ A[x] ] = L[ (A ∙ B)#l ]
-      val a: Box[Split] = Box.split(box)
-
-      //Either of these work:
-      val a1: Box[Split] = Box.split[L,B](box)
-      val a2: Box[ ({ type l[A[x]] = L[ (A ∙ B)#l ] })#l ] = Box.split(box)
-   }
-}