Applications

Find reference to default parameter getter for parameter #n in current parameter list, or NoType if none was found

Does tp fit the "get match" conditions as an unapply result type? This is the case of tp has a get member as well as a parameterless isEmpty member of result type Boolean.

Does tp fit the "product match" conditions as an unapply result type for a pattern with numArgs subpatterns? This is the case if tp has members _1 to _N where N == numArgs.

Does tp fit the "product-seq match" conditions as an unapply result type for a pattern with numArgs subpatterns? This is the case if (1) tp has members _1 to _N where N <= numArgs + 1. (2) tp._N conforms to Seq match

If getType is of the form:

{
  def lengthCompare(len: Int): Int // or, def length: Int
  def apply(i: Int): T = a(i)
  def drop(n: Int): scala.collection.Seq[T]
  def toSeq: scala.collection.Seq[T]
}

returns T, otherwise NoType.