blob: d20a6cbf4532bf0324be0a7e41d9763f4407ca8e (
plain) (
tree)
|
|
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] = ???
}
|