Compare with:

```
   // Defintions.scala
    def repeatedToSeq(tp: Type): Type = (tp baseType RepeatedParamClass) match {
      case TypeRef(_, RepeatedParamClass, arg :: Nil) => seqType(arg)
      case _                                          => tp
    }
```

Not sure what motivates the use of `baseType` there (the code was added in 8a9fd64129926eea35f7dca181242855f14e153f for virtpatmat).

I guess you could contrive a singleton type wrapping a repeated type;

```scala
scala> object O { def foo(as: Int*)(bs: as.type) = bs }
defined module O

scala> def x = O.foo(0)(???)
x: Seq[Int]

scala> typeOf[O.type].decl("foo": TermName).paramss(1)(0)
res6: $r.intp.global.Symbol = value bs

scala> import intp.deconstruct.{show => showTp}
import intp.deconstruct.{show=>showTp}

scala> showTp(typeOf[O.type].decl("foo": TermName).paramss(1)(0).tpe)
res7: String = SingleType(value as)

scala> showTp(typeOf[O.type].decl("foo": TermName).paramss(1)(0).tpe.underlying) 
res8: String = 
TypeRef(
  TypeSymbol(class <repeated>[+T0] extends Seq[T0])
  args = List(
    TypeRef(TypeSymbol(final abstract class Int extends AnyVal))
  )
)
```