Regression in `durban/choam` - type argument does not conform to upper bound

[jchyb]

https://github.com/VirtusLab/community-build3/actions/runs/13209505213/job/36881113788

Compiler version

Works: 3.6.3
Broken: 3.6.4-RC1

Minimized code

abstract class MutHamt[K <: Hamt.HasHash, V <: Hamt.HasKey[K], I <: Hamt[_, _, I]]

abstract class Hamt[K <: Hamt.HasHash, V <: Hamt.HasKey[K], H <: Hamt[K, V, H]]

object Hamt {
  trait HasKey[K <: HasHash]
  trait HasHash
}

Output

[error] ./main.scala:1:80
[error] Type argument I does not conform to upper bound Hamt[? <: Hamt.HasHash, ? <: Hamt.HasKey[Hamt[?, ?, I]#K], I]
[error] abstract class MutHamt[K <: Hamt.HasHash, V <: Hamt.HasKey[K], I <: Hamt[_, _, I]]
[error]                                                                                ^

Expectation

No error.
Already submitted once here, but didn't get fixed with the closing PR, so perhaps it was unrelated to that regression after all.

[jchyb]

Bisect points to 26ecda5

[Gedochao]

This means the bisect points to the same commit as #22585.
Possibly a common root cause.
cc @dwijnand

[mbovel]

This issue was picked for the Scala Issue Spree of tomorrow, Monday, February 24th. @dwijnand and @nmcb will be working on it. If you have any insight into the issue or guidance on how to fix it, please leave it here.