#discriminated-unions

Why TypeScript's .filter() won't narrow union return types

The user presses Claude on why .filter() won't narrow a union-typed array, exposing type predicates as unverified assertions rather than real type safety.