understand-type-widening

TypeScript widens literal types to their base primitive types during variable declaration to allow flexible reassignment. This type widening behavior prevents assigning specific literal values back to the same variable, ensuring broader type compatibility across your codebase.

Type widening differs between const and let because const variables have readonly types retaining literal values, while let declarations widen to base types like string or number. This allows let variables to accept any value matching the widened base type upon reassignment.

To prevent object property widening in TypeScript, use the `as const` assertion to lock literal types, apply explicit type annotations, or use the `satisfies` operator. These strategies ensure inferred types remain predictable and prevent unexpected broader type assignments.

TypeScript widens array elements to their base types by default when using standard array declarations. You can control this array element widening by applying `as const` to create readonly tuples with literal types, or by defining explicit fixed tuple type annotations.

Use the `satisfies` operator to debug unexpected type inference when you need to verify an expression matches a specific type without widening its inferred literal type. It ensures type compatibility while retaining the narrowest possible literal definitions for object properties.