How TypeScript's Type System Misleads .filter(Boolean) Users

TypeScript's .filter(Boolean) works correctly at runtime but fails to update types accordingly, creating a dangerous gap between actual safety and type definitions. This becomes critical when handling environment variables, where undefined values can theoretically pass type checks despite being filtered out. Type predicates provide the solution: explicit guarantees that let TypeScript understand what your filter callbacks actually ensure.