One necessary milestone toward making --strict-optional a recommended thing to use; the default; and ultimately the only mode (following what PEP 484 already says) will be for the mypy implementation itself to pass type-checking under --strict-optional. This is a tracking task for that goal.