mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-02-07 02:10:59 +08:00
Enable --disallow-any-generics for stubs (#3288)
This commit is contained in:
committed by
Jelle Zijlstra
parent
23b353303b
commit
c32e1e2280
@@ -132,6 +132,7 @@ def main():
|
||||
flags.append('--no-site-packages')
|
||||
flags.append('--show-traceback')
|
||||
flags.append('--no-implicit-optional')
|
||||
flags.append('--disallow-any-generics')
|
||||
if args.warn_unused_ignores:
|
||||
flags.append('--warn-unused-ignores')
|
||||
sys.argv = ['mypy'] + flags + files
|
||||
|
||||
Reference in New Issue
Block a user