Scala3: findValues fails to compile in nested sealed trait hierarchy

[desavitsky]

Example:

import enumeratum.values.StringEnum
import enumeratum.values.StringEnumEntry

sealed trait FirstLevel extends StringEnumEntry

object FirstLevel extends StringEnum[FirstLevel] {

  case object One extends FirstLevel {
    val value = "one"
  }
  case object Two extends FirstLevel {
    val value = "two"
  }

  sealed trait SecondLevel extends FirstLevel

  case object Three extends SecondLevel {
    val value = "three"
  }

  override def values: IndexedSeq[FirstLevel] = findValues

}

https://scastie.scala-lang.org/qpDNUwqAT4m4ovmn4EySgg

Error:
Exception occurred while executing macro expansion.
scala.MatchError: Type.of[...] (of class scala.quoted.runtime.impl.TypeImpl)

[lloydmeta]

Interesting... looks like the collect method is missing this possible case for tupleTpe:

enumeratum/macros/src/main/scala-3/enumeratum/ValueEnumMacros.scala

Lines 188 to 241 in f9b528a

	tupleTpe match {
	case '[TakeHead[h, tail]] => {
	val htpr = TypeRepr.of[h]
	(for {
	vof <- Expr.summon[ValueOf[h]]
	constValue <- htpr.typeSymbol.tree match {
	case ClassDef(_, _, spr, _, rhs) => {
	val fromCtor = spr
	.collectFirst {
	case Apply(Select(New(id), _), args) if id.tpe <:< repr =>
	args
	}
	.flatMap(_.lift(valueParamIndex).collect { case ConstVal(const) =>
	const
	})
	fromCtor
	.orElse(rhs.collectFirst { case ConstVal(v) => v })
	.flatMap { const =>
	cls.unapply(const.value)
	}
	}
	case _ =>
	Option.empty[ValueType]
	}
	} yield Tuple3(TypeRepr.of[h], '{ ${ vof }.value: A }, constValue)) match {
	case Some((tpr, instance, value)) =>
	collect[tail](instance :: instances, values + (tpr -> value))
	case None =>
	report.errorAndAbort(
	s"Fails to check value entry ${htpr.show} for enum ${repr.show}"
	)
	}
	}
	case '[EmptyTuple] => {
	val allowAlias = repr <:< TypeRepr.of[AllowAlias]
	if (!allowAlias && values.values.toSet.size < values.size) {
	val details = values
	.map { case (sub, value) =>
	s"${sub.show} = $value"
	}
	.mkString(", ")
	Left(s"Values for ${valueField.name} are not discriminated subtypes: ${details}")
	} else {
	Right(Expr ofList instances.reverse)
	}
	}