Skip to content

Assertion failed on underscore in type pattern #16792

Closed
@Odomontois

Description

@Odomontois

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)

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions