Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@adamgfraser
Copy link
Contributor

@adamgfraser adamgfraser commented Jun 1, 2023

Resolves #8164.

It looks like the optimizations to provideSome are not working on Scala 3.3.0. I'm not sure if this is an issue with the underlying unsoundness of the implementation or the Scala compiler itself but given the importance of this functionality I think we need to get back to a point where things are working and go from there.

@adamgfraser adamgfraser changed the title Upgrade Scala 3 Version Upgrade Scala 3 Version And Revert ProvideSome Optimizations Jun 1, 2023
@adamgfraser
Copy link
Contributor Author

Opened scala/scala3#17750 regarding this.

@adamgfraser adamgfraser requested review from jdegoes and vigoo June 1, 2023 15:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

makeSome & provideSome regression with compound types

2 participants