contrived.scala

import scala.reflect.ClassTag

sealed trait Value
case class ValueArray[A](xs: Array[A])(implicit val ct: ClassTag[A]) extends Value
case class Text(value: String) extends Value

def doStuff(lit: Value): Unit = lit match {
  case (al: ValueArray[a]) =>
    implicit val ct = al.ct
    val yay = new Array[a](2)
  case _ =>
}
  

Shouldn't case (al: ArrayList[a]) be case (al: ValueArray[a]) and doStuff(lit: Lit) be doStuff(lit: Value)

Thanks! That's what I get for trying to change the type names right before gisting!