//> using scala 3.6.2
//> using options -experimental

import scala.language.experimental.namedTuples

opaque type System = (wires: Any)

extension (system: System)
  inline def foo = system.wires
end extension

val simulation: System = ???
val _ = simulation.foo

-- Error: solution.scala:12:19 -------------------------------------------------
 12 |val _ = simulation.foo
    |        ^^^^^^^^^^^^^^
    |undefined: tup.productElement # -1: TermRef(TermRef(NoPrefix,val tup),productElement) at inlining
    |---------------------------------------------------------------------------
    |Inline stack trace
    |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    |This location contains code that was inlined from NamedTuple.scala:144
    |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    |This location contains code that was inlined from NamedTuple.scala:144
    |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    |This location contains code that was inlined from NamedTuple.scala:144
  9 |  inline def foo = system.wires
    |                   ^^^^^^^^^^^^
     ---------------------------------------------------------------------------
1 error found