Returning a conditional type without doing unsafe cast or using `any`?

Question

Is it possible in TypeScript to implement the body of this function without doing a non-typechecked as cast or using any?