Closed
Description
Compiler version
3.2.2
Minimized code
val x = (1, 1) match
case _: (_ *: _) => ()
Output (click arrow to expand)
[error] java.lang.AssertionError: assertion failed
[error] scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:11)
[error] dotty.tools.dotc.typer.Typer$$anon$3.transform(Typer.scala:1703)