search

scala / scala3

The Scala 3 compiler, also known as Dotty.
https://dotty.epfl.ch
Apache License 2.0
5.86k stars 1.06k forks source link

summonAll for type alias does not work #19385

Closed staffanu closed 8 months ago

staffanu commented 9 months ago

Compiler version

3.4.0-RC1

Minimized code

import scala.compiletime.summonAll

inline def f[M <: Tuple]: Unit = {
  type Alias = Tuple.Map[M, [X] =>> Numeric[X]]
  summonAll[Tuple.Map[M, [X] =>> Numeric[X]]] // compiles
  summonAll[Alias] // error: Tuple element types must be known at compile time
}

val y1 = f[(Int, Int)]

Output

Expectation

Compiles in scala 3.3.1.

nicolasstucki commented 9 months ago

Regression in d71ca06419a69b38b7ae0e932e47bc13577a8200.