Current status: Completely failing to cast my way out of a type error. My code is uncompilable!
@larsr_h It appears to be a bad interaction between subtyping, bounds, existentials and a 2.11 bug... Now, if only I had a short test case.
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
@larsr_h It appears to be a bad interaction between subtyping, bounds, existentials and a 2.11 bug... Now, if only I had a short test case.