context-type-inference

TypeScript widens extracted values because separating a value from its usage context removes contextual inference, generalizing literal types or tuples. Restoring context requires applying type annotations, const declarations, as const, or satisfies to preserve the precise types.

To preserve type inference for extracted callbacks, use explicit type annotations or satisfies to restore the lost context. This ensures the callback parameters and return types remain strictly typed instead of widening to general types after extraction.

The best way to keep tuple literal types from widening is using const assertions (as const) or explicit type annotations when extracting them. This locks the tuple structure and literal values, preventing TypeScript from generalizing them to standard arrays.

Use the satisfies operator when you need to preserve specific literal types while ensuring a value matches an expected shape. It validates the extracted value against a type without widening the inferred type, maintaining precise context for string literals and tuples.

To stop string literals from widening to general strings during extraction, use as const for immutable literal types or explicit type annotations. This preserves the specific string literal context instead of allowing TypeScript to infer a broader string type.