Regression in dfianthdl/dfiant - for implicit resolution

[WojciechMazur]

Compiler version

3.3.1-RC7
Works in 3.3.0

Bisect points to ded5d25

Minimized code

Not yet minimized:

//> using lib "io.github.dfianthdl::dfhdl-compiler-stages:0.3.4"
import dfhdl.*
import dfhdl.internals.TopLevel
@main def Test() = {
  given TopLevel = ???
  val internal1 = new RTDomain():
    val ii = new RTDomain():
      val x = SInt(16) <> IN
  internal1.ii.x // `.x` accessed using `selectDynamic`
}

Output

Compiling project (Scala 3.3.1-RC7, JVM)
[error] ./main.scala:48:16
[error] Recursion limit exceeded.
[error] Maybe there is an illegal cyclic reference?
[error] If that's not the case, you could also try to increase the stacksize using the -Xss JVM option.
[error] For the unprocessed stack trace, compile with -Yno-decode-stacktraces.
[error] A recurring operation is (inner to outer):
[error] 
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   ...
[error] 
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#given_TScope
[error]   find-member RTDomain#x
[error]   internal1.ii.x
[error]                ^
Error compiling project (S

Expectation

Should compile

[soronpo]

Was already minimized. See #18263