Closed
Description
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 = NamedTuple[EmptyTuple.type, EmptyTuple.type]