1 2 3 4 5 6 7 8 9 10 11 12
trait Type class RefinedType extends Type object TestAnnot { def toText(tp: Type) = tp match { case tp: RefinedType => val parent :: (refined: List[RefinedType @unchecked]) = ??? ??? } val xs: List[RefinedType @unchecked] = ??? }