scala/scala3

NamedTuple.Empty is not a NamedTuple

Closed this issue · 0 comments

smarter commented

Compiler version

3.5.0-RC1-bin-20240516-c608177-NIGHTLY

Minimized code

type NT = NamedTuple.Concat[NamedTuple.Empty, (bla: String)]

Output

[error] Type argument NamedTuple.Empty does not conform to upper bound NamedTuple.AnyNamedTuple
[error]   type NT = NamedTuple.Concat[NamedTuple.Empty, (bla: String)]
[error]                                          ^

Expectation

No error.

It seems that

scala3/library/src/scala/NamedTuple.scala

Line 198 in c608177

type Empty = EmptyTuple.type
should be replaced by something like:

type Empty = NamedTuple[EmptyTuple.type, EmptyTuple.type]