A Scala 3 match type that checks that all elements of a tuple match a certain (sub)type

AllSubtypesOf.scala

import scala.compiletime.ops.boolean.&&

type AllSubtypesOfMatch[T <: Tuple, Super] <: Boolean = T match
  case EmptyTuple =>
    true
  case h *: t =>
    h match
      case Super => AllSubtypesOfMatch[t, Super]

type AllSubtypesOf[T <: Tuple, Super] = AllSubtypesOfMatch[T, Super] =:= true


def processErrors[T <: Tuple](errors: T)(using AllSubtypesOf[T, Throwable]) = ()
processErrors((new RuntimeException("foo"), new IllegalAccessError("boom")))          // ok
//  processErrors((new RuntimeException("foo"), new IllegalAccessError("boom"), "foo"))   // not ok

Another way to ensure consistency of the tuple elements:

1. Introduce generic type Foo[_]
2. Have a signature of def ofTuple[T <: Tuple: Tuple.IsMappedBy[Foo]](tup: T)