Unexpected tuple inferred from dependent typing as an error

## Compiler version

v3.2.0-RC2

## Minimized code
https://scastie.scala-lang.org/xebUkPLdQUKL9V8Q4Kdyhg
```Scala
class Box[T]
def dep1[T1 <: Singleton, T2 <: T1](t1: T1)(t2: T2): Box[T1] = ???
val d1 = dep1(1)(2) //error
```

## Output

```scala
Found:    Box[(1 : Int) | (2 : Int)]
Required: Box[((1 : Int) | (2 : Int))]
```

## Expectation
Type mismatch for `t2`.