Skip to content

Nightly Dotty workflow of 2022-11-18 failed #16367

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
github-actions bot opened this issue Nov 18, 2022 · 2 comments · Fixed by #16369
Closed

Nightly Dotty workflow of 2022-11-18 failed #16367

github-actions bot opened this issue Nov 18, 2022 · 2 comments · Fixed by #16369
Assignees
@nicolasstucki
Labels
itype:bug prio:blocker

Comments

@github-actions
Copy link
Contributor

See https://github.com/lampepfl/dotty/actions/runs/3493884452
@nicolasstucki
Copy link
Contributor

#16361 takes care of half of one of the failures.

@nicolasstucki nicolasstucki mentioned this issue Nov 18, 2022
Merged
@nicolasstucki nicolasstucki self-assigned this Nov 18, 2022
@nicolasstucki
Copy link
Contributor

Caused by #16150

nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Nov 18, 2022
@nicolasstucki
Workaround case x @ U() : T =>
aa51517 
This kind of patterns were disabled in scala#16150.

Fixes scala#16367
@nicolasstucki nicolasstucki mentioned this issue Nov 18, 2022
Merged
nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Nov 18, 2022
@nicolasstucki
Workaround case x @ U() : T =>
a01248f 
This kind of patterns were disabled in scala#16150.

Fixes scala#16367
nicolasstucki added a commit that referenced this issue Nov 18, 2022
@nicolasstucki
Workaround case x @ U() : T => (fix main branch) (#16369)
298ff3f 
This kind of patterns were disabled in #16150.

Fixes #16367
little-inferno pushed a commit to little-inferno/dotty that referenced this issue Jan 25, 2023
@nicolasstucki @little-inferno
Workaround case x @ U() : T =>
697dccb 
This kind of patterns were disabled in scala#16150.

Fixes scala#16367
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nicolasstucki nicolasstucki

Labels
itype:bug prio:blocker
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Workaround case x @ U() : T => (fix main branch) dotty-staging/dotty
1 participant
@nicolasstucki