Skip to content

Conversation

nicolasstucki
Copy link
Contributor

This kind of patterns were disabled in #16150.

Fixes #16367

This kind of patterns were disabled in scala#16150.

Fixes scala#16367
@nicolasstucki nicolasstucki changed the title Workaround case x @ U() : T => Workaround case x @ U() : T => (fix main branch) Nov 18, 2022
Copy link
Contributor

@jchyb jchyb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for taking care of this

@nicolasstucki nicolasstucki merged commit 298ff3f into scala:main Nov 18, 2022
@nicolasstucki nicolasstucki deleted the fix-16367 branch November 18, 2022 09:06
@dwijnand
Copy link
Member

Thanks Nico. Sorry I was going to get to this this morning.

@nicolasstucki
Copy link
Contributor Author

Thanks Nico. Sorry I was going to get to this this morning.

Got there first 😉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Nightly Dotty workflow of 2022-11-18 failed

3 participants