transparent inline def leaks opaque type

[bishabosha]

Compiler version

3.1.0

Minimized code

class Example {
  opaque type Index = Array[Int]
  transparent inline def index(using index: Index): Index = index
}

object Usage {
  def run(example: Example)(using example.Index): Unit = {
    example.index.length
  }
}

Output

Compiles ok

Expectation

length should not be a member of the result of example.index when in the scope of Usage

[soronpo]

Could be a duplicate of #13461

[nicolasstucki]

I added it to #13461