Cannot select from named tuple literal

[prolativ]

Compiler version

3.5.0
3.6.0-RC1-bin-20240821-a2c53a1-NIGHTLY

Minimized code

import scala.language.experimental.namedTuples

val x = (aaa = 1).aaa

Output

-- [E007] Type Mismatch Error: /tmp/NamedTuple.scala:3:18 ----------------------
  3 |val x = (aaa = 1).aaa
    |        ^^^^^^^^^^^^^
    |        Found:    Tuple1[Int]
    |        Required: (x$proxy2 : Tuple1[Int])
    |---------------------------------------------------------------------------
    |Inline stack trace
    |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    |This location contains code that was inlined from NamedTuple.scala:40
    |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    |This location contains code that was inlined from NamedTuple.scala:40
    |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    |This location contains code that was inlined from NamedTuple.scala:40
     ---------------------------------------------------------------------------
    |
    | longer explanation available when compiling with `-explain`

Expectation

This should compile successfully

[KacperFKorban]

Looks like changing the inline def here into a transparent inline def fixes the problem, but I'm not sure if that is desired.

scala3/library/src/scala/NamedTuple.scala

Line 141 in 4293a45

inline def apply(n: Int): Tuple.Elem[V, n.type] =

@aherlihy @EugeneFlesselle do you see any problems with making that change?

[soronpo]

Also, it appears there is a reporting issue here.

    |This location contains code that was inlined from NamedTuple.scala:40
    |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    |This location contains code that was inlined from NamedTuple.scala:40
    |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    |This location contains code that was inlined from NamedTuple.scala:40
     ---------------------------------------------------------------------------

This repetition provides no additional information and seems wrong to me.

[odersky]

It looks like an Inliner bug. Basically, the inliner inlines a val x$proxy as x$proxy2: Tuple1[Int] and then tries
to adapt this to the expected type x$proxy2.type.

Fixed by #21680