Inline looses dependent type

[soronpo]

Compiler version

v3.1.0

Minimized code

trait Exactly {type Out}
transparent inline def one(): Exactly = new Exactly{type Out = 1}

inline def check(): Unit =
  val exact = one()
  compiletime.summonInline[exact.Out =:= 1]

val x = check()

Output

Cannot prove that exact.Out =:= (1 : Int).

Expectation

No error.

[nicolasstucki]

This is another instance of #8739. The limitation is that the type of the val does not get more precise when inlined.