aboutsummaryrefslogblamecommitdiff
path: root/tests/pickling/annot.scala
blob: d20a6cbf4532bf0324be0a7e41d9763f4407ca8e (plain) (tree)
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] = ???
}