JavaScript boy and “lovely thoughtleader” 
he/him 
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
Adding downcasts don't produce soundness, it just shifts blame
I'm not particularly well versed in proper type system terminology. Where there is any, it produces uncertainness in my code which is why I use a type system in the first place. With proper refinements dealing with unknown is easy and I would prefer extra validation code anyway.
In practice that's really the exception. Most people call JSON.parse and perform ~zero runtime validation on it; they just want to tell the type system what the expected type is. That's equally unsound between 'any' vs downcasted 'unknown'
It's only the exception because it's hard to do without a validation library, deficiencies in TypeScript refinements, and there not being a strong culture for it
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
