path: root/tests/pending/pos/t6966.scala

import Ordering.{Byte, comparatorToOrdering}
trait Format[T]
trait InputCache[T]
object CacheIvy {
    implicit def basicInputCache[I](implicit fmt: Format[I], eqv: Equiv[I]): InputCache[I] = null
    implicit def arrEquiv[T](implicit t: Equiv[T]): Equiv[Array[T]] = null
    implicit def hNilCache: InputCache[HNil] = null
    implicit def ByteArrayFormat: Format[Array[Byte]] = null
    type :+:[H, T <: HList] = HCons[H,T]
    implicit def hConsCache[H, T <: HList](implicit head: InputCache[H], tail: InputCache[T]): InputCache[H :+: T] = null
    hConsCache[Array[Byte], HNil]
}

sealed trait HList
sealed trait HNil extends HList
object HNil extends HNil
final class HCons[H, T <: HList](head : H, tail : T) extends HList