TypeScript’s type narrowing helps the compiler infer more specific types in certain contexts, but it only works if you provide clear type guards or assertions. For example, using `typeof` for primitive types and `instanceof` for objects can help TypeScript understand the exact type you’re working with. If narrowing doesn’t work as expected, make sure the checks are applied correctly and that TypeScript can trace the logic flow within your functions. In some cases, custom type predicates or `as` assertions might be necessary to manually guide TypeScript’s inference. Ensuring proper type narrowing allows your code to stay type-safe while avoiding unnecessary `any` types.