(created it to claim the task)
Part of #14172.

Looks like typing.Optional is a union of the parameterized type and None without any tricky cases.
https://typing.readthedocs.io/en/latest/spec/historical.html#union-and-optional