bad parameter reference at elimOpaque

[larsrh]

Compiler version

3.0.0-M3

Minimized code

https://github.com/typelevel/semigroups/tree/wip/dotty

sbt ++3.0.0-M3! coreJVM/compile

(Every time I try to minimize it further, I hit #11264)

Output

[error] -- Error: /home/lars/proj/typelevel/semigroups/core/src/main/scala/io/chrisdavenport/semigroups/Dual.scala:20:4 
[error] 20 |    new CommutativeMonad[Dual] with NonEmptyTraverse[Dual] with Distributive[Dual]{
[error]    |    ^
[error]    |bad parameter reference io.chrisdavenport.semigroups.Dual#A at elimOpaque
[error]    |the parameter is type A in class Dual but the prefix io.chrisdavenport.semigroups.Dual
[error]    |does not define any corresponding arguments.

Expectation

It should compile.

[smarter]

Would you mind trying again with a nightly build? A problem with the same symptoms was recently fixed: #11057

[larsrh]

Confirm it is fixed in 3.0.0-RC1-bin-20210130-ab3bc41-NIGHTLY. Now I just get a bunch of #11264's.