Incorrect overload resolution

[Bersier]

Compiler version

3.3.1, 3.3.2-RC1, 3.4.0-RC1

Minimized code

import scala.compiletime.ops.int.+
import scala.annotation.targetName

object Scope:
  opaque type Dim[I <: Int] = Double
  val foo: Dim[1] = 1.0
  extension[I <: Int](x: Dim[I])
    @targetName("specialTimes") def times(y: Dim[0]): Dim[I] = x * y
    @targetName("generalTimes") def times[J <: Int](y: Dim[J]): Dim[I + J] = x * y
end Scope

import Scope.*

val bar: Dim[2] = foo.times(foo)

Compiler output

Found:    (Scope.foo : Scope.Dim[(1 : Int)])
Required: Scope.Dim[(0 : Int)]

Expectation

No compile error.

[som-snytt]

pun alert Dim sum.

[s5bug]

Issue also occurs when parameter counts differ:

implicit class Foo(x: Int) extends AnyVal {
  def <>(y: Int): Int = x * y
  def <>(y: Int, z: Int): Int = x * y * z
}

2 <> 3 // => 6
2 <> (3, 4) // => 24

extension (x: Int) {
  def <>(y: Int): Int = x * y
  def <>(y: Int, z: Int): Int = x * y * z
}

2 <> 3 // => 6
2 <> (3, 4) // found (Int, Int) required Int

[Bersier]

The original issue seems to have been fixed in Scala 3.7.