java interop - ambiguous overload, method invocation when explicitly specifying type parameter

[Sciss]

Minimized code

https://scastie.scala-lang.org/c3OTl17bTnOeZ0ISfoYQTA

// build.sbt
libraryDependencies += "de.sciss" % "docking-frames" % "2.0.0"

import bibliothek.gui.dock.common._

/*
Note:
public interface CDockable
public interface SingleCDockable   extends CDockable
public interface MultipleCDockable extends CDockable
*/

trait Foo {
  def ctl: CControl
  
  def d: SingleCDockable
  
  ctl.addDockable[SingleCDockable](d)
}

Output

Ambiguous overload. The overloaded alternatives of method addDockable in class CControl with types
 [M <: bibliothek.gui.dock.common.MultipleCDockable](x$0: M): M
 [S <: bibliothek.gui.dock.common.SingleCDockable](x$0: S): S
both match type arguments [bibliothek.gui.dock.common.SingleCDockable] and arguments ((Foo.this.d : => bibliothek.gui.dock.common.SingleCDockable))

Expectation

The method addDockable is overloaded for type parameters SingleCDockable and MultipleCDockable which are not sub-types of each other. Specifying the type parameter application expilcitly should not produce this ambiguity. Strangely, the problem goes away when I just write ctl.addDockable(d)

[griggt]

Minimized standalone reproducer:

// Foo.java
public interface Foo {}

// Bar.java
public interface Bar {}

// Quux.java
public class Quux {
    public <A extends Foo> void baz(A x) {}
    public <B extends Bar> void baz(B x) {}
}

// Test.scala
trait Test {
  def q: Quux
  def f: Foo
  q.baz[Foo](f)
}

sbt:i10301> compile
[info] Compiling 1 Scala source and 3 Java sources to /src/dotty-issues/i10301/target/scala-3.0.0-M1/classes ...
[error] -- [E051] Reference Error: /src/dotty-issues/i10301/src/main/scala/Test.scala:4:4 
[error] 4 |  q.baz[Foo](f)
[error]   |  ^^^^^
[error]   |Ambiguous overload. The overloaded alternatives of method baz in class Quux with types
[error]   | [B <: Bar](x: B): Unit
[error]   | [A <: Foo](x: A): Unit
[error]   |both match type arguments [Foo] and arguments ((Test.this.f : => Foo))
[error] one error found