List[Optional[int]] type checking when assigning

Question

I came across an inconvenience when using the Optional type.

mypy seems smart enough to detect that after checking an optional value for None the Optional part of the