@searyanc.dev The predicate passed into find() has a signature of (arg: any) => void, but if we restructure the example to inspect the types the type returned by the find() call is string | undefined. Shouldn't the type system see that find will never return a string here?

www.typescriptlang.org/play/#code/P...