Type Narrowing allows the IDE (development environment) to narrow down the object type, from a union type, to a more specific type.
Bullsh*t Example
In this bullsh*t example, value is the union type string | number, meaning it can either be a string ...