There are a few casts that are allowed that I would consider unsafe, particularly around unions of literals or using empty object literals: // No error here

There are a few casts that are allowed that I would consider unsafe, particularly around unions of literals or using empty object literals: // No error here type Animal = 'dog' | 'cat'; const notAnimal = 'couch' as Animal; // No error here either type Food = { isSpicy: boolean }; const empty = {} as Food; https://www.typescriptlang.org/play/index.html#code/C4TwDgpgBAggdgSwLYEMA2UC8UDkATAewHMcoAfXAYxWFIpwCMIUAnHAbgChOB6HqAGII4ETpQJwAzsCgAPAFyxEqDNnzEOvfgFEWLAiygpJUCLMiVgEPGInSoIRfGTosVAgFdKAC018oAHIEpnoGUAweMh5SKABmouJSMgBebjjiXr5GJs4qXFoAtEXFJaVl5RUF3MJWLLEolNACBAR4UADenFBQwkQs1ggQcMCSitIsvQDaALpcAL7c-kIitklQYAjJySiKza1u7T1wfQNDI4qTOJIoXhA4ADS4kGCQ+og401BzXP66+obGUzmCCWayrew+BBoBC7FptbDtb5aQLBCChQwRKIxeLgmRgYzAFAHObZQRw9hAA https://www.typescriptlang.org/play/index.html#code/C4TwDgpg...