Skip to content

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Dec 15, 2019

This failed -Ycheck before, but after erasure everything is fine.
So this needs a couple of casts to work.

This failed -Ycheck before, but after erasure everything is fine.
So this needs a couple of casts to work.
Add test for scala#7735 and fix another test to take a bit longer.
@nicolasstucki nicolasstucki self-assigned this Dec 20, 2019
@nicolasstucki nicolasstucki merged commit 1863077 into scala:master Jan 6, 2020
@nicolasstucki nicolasstucki deleted the fix-#7735 branch January 6, 2020 07:58
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.

2 participants