Transparentness of inline defs doesn't propagate

[prolativ]

Compiler version

3.2.0-RC1

Minimized code

//> using scala "3.2.0-RC1"

class X1
class X2

transparent inline def foo: X1 | X2 =
  new X1

transparent inline def bar: (X1 | X2, X1 | X2) =  
  (foo, foo)

val x: (X1, X1) = bar

Output

[error] ./Transparent.scala:12:19: Found:    (X1 | X2, X1 | X2)
[error] Required: (X1, X1)
[error] val x: (X1, X1) = bar
[error]                   ^^^

Expectation

After inlining the type of x should be known to be (X1, X2) and the entire snippet should compile.

[bishabosha]

I think this is a duplicate of #8739, feel free to reopen if not

[nicolasstucki]

Minimized

transparent inline def foo: Int | Boolean = 2
transparent inline def bar: Option[Int | Boolean] = Some(foo)
val x: Some[Int] = bar

The issue is that we are not refining the inferred type parameter of the Some.apply method. It is similar to https://github.com/lampepfl/dotty/issues/8739.

[nicolasstucki]

Same issue with

transparent inline def bar(x: Int | Boolean): Option[Int | Boolean] = Some(x)
val x: Some[Int] = bar(2)

but this one has a workaround if we use Some[x.type](x)