firstName と lastName の両方のフィールドが定義されていることを確認することで、TypeScript コンパイラは、return ステートメントがある最後の行が正しくコンパイルできることを認識します。このアプローチの利点は、型チェックがより明示的であり、undefined の値が存在する場合に、何が間違っているかについてより明確なエラーをスローできることです。

Non-null assertion operator（非 null アサーション演算子）

TypeScript の 非 null アサーション演算子 ↗ (!) を使用して、undefined のケースを無視できます。