I get so sad when #Scala3 doesn't realize that a match type is the same as its final de-sugaring
pic.twitter.com/M0ir6yUfXj
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
I tried to understand, but it's all a bit new for me. ;) So do you think the synthetic desugared match type has some extra "annotations" on it so that it's recognized? Also, just checking, but you know the cases have to be in exactly the same order?
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.