Unit JS default param makes compiler crash with "Found a dangling UndefinedParam"

//> using scala "2.13.8"
//> using platform "js"

package foo

import scala.scalajs.js

@js.native
trait Bar extends js.Object {
  protected[foo] def baz(
    dummy: Unit = js.native,
  ): Unit = js.native
}

object App {

  def bar: Bar = ???

  def main = bar.baz()

}

[error] ./bug.scala:15:1: Found a dangling UndefinedParam at Position(file:/workspace/sandbox/bug.scala,18,17). This is likely due to a bad interaction between a macro or a compiler plugin and the Scala.js compiler plugin. If you hit this, please let us know.

Scala 3 sibling issue:

• https://github.com/lampepfl/dotty/issues/15419

[gzm0]

I can reproduce this on all major Scala versions. Thank you for the report.

[sjrd]

Ouch. I guess the scalac (and dotc) tree that comes right before that is

val x$1: BoxedUnit$ = {
  qual$1.baz$default$1();
  BoxedUnit$.UNIT
}

We could recognize that shape and collapse it to a single <undefined-param>, but we might be too broad and get false positives with that. Then again, if we don’t catch that shape and it’s present, it is going to crash anyway instead, so perhaps that’s fine.