Regression (again) in 3.7: "cannot resolve reference to type"

[smarter]

This is almost the same issue as #23530 which I fixed but adding a type parameter caues the problem to resurface.

Compiler version

>= 3.7.0 (issue introduced in 26ecda540b9 which was reverted from 3.6.4 but re-integrated in 3.7)

Minimized code

//> using scala 3.7.3-RC1-bin-20250728-95b37a7-NIGHTLY

trait TestContainer:
  trait TestPath[T]:
    type AbsMember

  extension (path: TestPath[?])
    infix def ext(color: path.AbsMember): Unit = ???
    infix def ext(other: Int): Unit = ???

object Repro:
  val dc2: TestContainer = ???
  import dc2.TestPath

  def transition(path: TestPath[?])(using DummyImplicit): TestPath[?] = ???

  def test: Unit =
    val di: TestPath[?] = ???
    // error
    val z1 = transition(di).ext(1)

Output

[error] ./tests/pos/resolve-dep.scala:19:24
[error] Cannot resolve reference to type path.type.AbsMember.
[error] The classfile defining the type might be missing from the classpath.
[error]     val z1 = transition(di).ext(1) // error
[error]                        ^

Expectation

The code should compile as it used to.