Optional chaining should always include `undefined` in its resolved type

TypeScript Version: 3.7.5

Search Terms: optional chaining return type

Code

I have a formatting function, where the input should always be a string, but in certain cases, from the backend, it's undefined for some reason. So to make sure the front-end at least doesn't crash when that happens, I added optional chaining, which fixed the issue.

But the types are kind of off now, and I didn't realize until now because Typescript didn't complain about anything.

export const formatAccountNumber = (account: string): string =>
  account?.replace(/^(\d{4})(\d{2})(\d{5})/, '$1 $2 $3');

Expected behavior: Should get an error/warning about something here. Preferably, I guess optional chaining should always expand the type to include undefined to whatever it is added to? Then, in this example, Typescript could say that the return type is string, but I'm trying to return string | undefined? Either that, or maybe it shouldn't be possible to use optional chaining on a value that does not include either the type undefined and/or null?

Actual behavior: No warnings or errors.

Related Issues: no

Bắt đầu bằng cách tái hiện ví dụ TypeScript 3.7.5 với optional chaining và kiểu trả về string tường minh. Xác định liệu cách sửa dự kiến là đưa undefined vào kiểu đã được phân giải hay từ chối optional chaining trên các giá trị không nullable; được coi là hoàn tất khi hành vi được chọn được thực thi nhất quán và được bao phủ bởi các bài kiểm thử trình biên dịch.