1 files changed, 0 insertions, 21 deletions
diff --git a/tests/pending/pos/t5156.scala b/tests/pending/pos/t5156.scala
deleted file mode 100644
index 41b1c296e..000000000
--- a/tests/pending/pos/t5156.scala
+++ /dev/null
@@ -1,21 +0,0 @@
-sealed trait HList
-final case class HCons[H, T <: HList](head : H, tail : T) extends HList
-case object HNil extends HList
-
-object HList {
-  type ::[H, T <: HList] = HCons[H, T]
-  type HNil = HNil.type
-
-  implicit def hlistOps[L <: HList](l : L): AnyRef{def ::[H](h: H): HList.::[H,L]; def last(implicit last: HList.Last[L]): Unit} = new {
-    def ::[H](h : H) : H :: L = HCons(h, l)
-    def last(implicit last : Last[L]): Unit = {}
-  }
-
-  class Last[L <: HList]
-  implicit def hsingleLast[H]: HList.Last[HList.::[H,HList.HNil]] = new Last[H :: HNil]
-  implicit def hlistLast[H, T <: HList](implicit lt : Last[T]): HList.Last[HList.::[H,T]] = new Last[H :: T]
-
-  type III = Int :: Int :: Int :: HNil
-  val iii : III = 0 :: 0 :: 0 :: HNil
-  val l = iii.last
-}