Skip to content

summonAll for type alias does not work #19385

@staffanu

Description

@staffanu

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.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions