Non-optional types should not have None as their default value

[JonathanPlasse]

trafficstars

Expected behavior

Non-optional types should have ... as default value instead of None.

Description about the bug

Having None as the default value for a none optional type raise a Pyright error.

Screenshots/Files