配列の filter で直和型を絞り込むときのユーザー定義型ガードを比較的型安全に書く

配列の filter メソッドでは直和型が絞り込まれない 配列 の filter メソッドでは直和型の絞り込みができないことが知られています type User = { id: number name: string } declare const maybeUsers: (User | undefined)[] const users /*: (User | undefined)[] */ = maybeUsers.filter( (maybeUser) => maybeUser !== undefined ) !== undefined しているので自明に undefined は除かれて User[] 型に推論されてほしいところですが、callback は boolean を返すだけなので (User | undefined)[] に推論されていしまいます ユーザー定義型ガードによる解