Incorrect inline match for three elements

[Kright]

Compiler version

Bug exists in 3.3.6 LTS
Not exists in 3.7.2

Minimized code

inline def f(t0: Int, t1: Int, t2: Int) = {
  inline (t0, t1, t2) match {
    case (a: Int, b: Int, c: Int) => println(s"a = $a, b = $b, c = $c")
  }
}

@main def test = f(0, 1, 2)

Same on scastie: https://scastie.scala-lang.org/7GBujdEDQS6VxxKGipykqA

Output

a = 0, b = 2, c = 2

Expectation

a = 0, b = 1, c = 2

[hamzaremmal]

This was fixed starting from 3.4.0. @WojciechMazur It would be nice to use the bisect script on this example with the https://repo.scala-lang.org (#23768 and #23765) to identify the commit that fixed it for backporting.

[hamzaremmal]

#23782 adds a regression test, but this issue should be closed when the backporting of #23782 and the PR that fixes the issue is done. Assigning @tgodzik for the backporting.

[tgodzik]

Looks like this got fixed with #18874 which we decided not to backport. 3.4.0-RC1-bin-20231115-0420aaf-NIGHTLY was the last version that failed.

[tgodzik]

Should we reconsider backporting?

[tgodzik]

Unfortunately, we cannot fix it without changes that require a minor release.