search

KotlinIsland / basedmypy

Based Python static type checker with baseline, sane default settings and based typing features
Other
132 stars 4 forks source link

Should `--extra-checks` be enabled by default #480

Open KotlinIsland opened 1 year ago

KotlinIsland commented 1 year ago

https://kotlinisland.github.io/basedmypy/command_line.html#cmdoption-mypy-extra-checks

This flag enables additional checks that are technically correct but may be impractical in real code. In particular, it prohibits partial overlap in TypedDict updates, and makes arguments prepended via Concatenate positional-only.

KotlinIsland commented 1 year ago

@DetachHead WDYT?

DetachHead commented 1 year ago

yea i think it should be enabled. btw whats the signature of dict.update look like? i assumed it would be covered by the existing rules unless some special case shit is going on