Compiler crashes on simple code.

[jrlemieux]

Compiler version

3.6.4

Minimized code

object Bug:

  def m0(f: PartialFunction[Char, Unit]): Unit = ()

  def m1(): Unit =
    m0: x =>
      "abc".filter(_ == x) match
        case _ => ()

Output (click arrow to expand)

See bug.log (or the more readable bug-nocolor.log) in attached zip file.

files.zip

[jrlemieux]

Compiles without crash if m0 delcared as

  def m0(f: Char => Unit): Unit = ()

Also compiles without crash with this variation (m0 receives a function rather than a partial function, but there is no "match"):

  def m0(f: PartialFunction[Char, Unit]): Unit = ()

  def m1(): Unit =
    m0: x =>
      "abc".filter(_ == x)

And this variation also works (m0 receives a partial function):

  def m0(f: PartialFunction[Char, Unit]): Unit = ()

  def m1(): Unit =
    m0:
      case x =>
        "abc".filter(_ == x) match
          case _ => ()

[som-snytt]

Relatedly #23002 does not help.