I have sent my PR for an incremental improvement of dotty's union type inference. If you have played with dotty and encountered issues with the inference being widened to Any too eagerly I would love to hear your feedback.https://github.com/lampepfl/dotty/pull/7829 …
-
Show this thread
-
@propensive It doesn't fix your issue with the exhaustivity check but maybe you have some insights about other cases.1 reply 0 retweets 2 likesShow this thread
Replying to @LanderLo
Thanks! I will take a look over Christmas!
1:21 AM - 21 Dec 2019
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.