Matching MirroredElemLabels and MirroredElemTypes at the same time

FieldCollector.scala

trait FieldCollector[T] {
  def collect(fields: Collector): Collector
}
  
object FieldCollector {

  inline def collectFromChild[T](fields: ArrayBuffer[String]): Collector =
    summonFrom {
      case fc: FieldCollector[T] => fc.collect(fields)
    }

  inline def collectFromProduct[Fields <: Tuple, Types <: Tuple](fields: ArrayBuffer[String]): ArrayBuffer[String] = {
    inline erasedValue[(Fields, Types)] match {
      case (_: (field *: fields), _: (tpe *: types)) => 
        collectFromProduct[fields, types](fields.add(constValue[field].toString))
      case _ =>
        fields
    }
  }

  inline def derived[T](given ev: Mirror.Of[T], ct: ClassTag[T]): FieldCollector[T] = new FieldCollector[T] {
    def collect(fields: ArrayBuffer[String]): ArrayBuffer[String] = {
      inline ev match {
        case m: Mirror.ProductOf[T] => 
          collectFromProduct[m.MirroredElemLabels, m.MirroredElemTypes](fields)
      }
    }
  }
}