Skip to content

Assertion failed on underscore in type pattern #16792

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
Odomontois opened this issue Jan 31, 2023 · 1 comment · Fixed by #16795
Closed

Assertion failed on underscore in type pattern #16792

Odomontois opened this issue Jan 31, 2023 · 1 comment · Fixed by #16795
Assignees
@nicolasstucki
Labels
itype:bug itype:crash

Comments

@Odomontois
Copy link

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)
@Odomontois Odomontois added itype:bug itype:crash stat:needs triage Every issue needs to have an "area" and "itype" label labels Jan 31, 2023
@nicolasstucki nicolasstucki removed the stat:needs triage Every issue needs to have an "area" and "itype" label label Feb 1, 2023
@nicolasstucki
Copy link
Contributor

nicolasstucki commented Feb 1, 2023 •
edited
Loading

This is already fixed. It will work on 3.3.0

nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Feb 1, 2023
@nicolasstucki
Add regression test
2dd2595 
Closes scala#16792
@nicolasstucki nicolasstucki mentioned this issue Feb 1, 2023
Merged
@nicolasstucki nicolasstucki self-assigned this Feb 1, 2023
bishabosha added a commit that referenced this issue Feb 1, 2023
@bishabosha
Add regression test (#16795)
e751f51 
Closes #16792
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nicolasstucki nicolasstucki

Labels
itype:bug itype:crash
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add regression test dotty-staging/dotty
2 participants
@Odomontois @nicolasstucki