transparent inline within transparent inline looses type refinement

[soronpo]

Compiler version

v3.1.0

Minimized code

https://scastie.scala-lang.org/iVSSZgQyQt6TAeTniSCFtQ

trait Id[T]{type Out <: Int}
transparent inline def internal [T <: Int]: Id[T] = new Id[T]{type Out = T}

transparent inline def id: Int =
  val one = internal[1]
  ??? : one.Out

val i : 1 = id

Output

Found:    Int
Required: (1 : Int)

Expectation

No error.

[smarter]

Duplicate of #8739

[soronpo]

You see, I completely forgot about this issue so that evidently I was the one who submitted the previous issue that was closed as a duplicate. It's such a huge issue and very annoying to work around.