Allow inverting --local-partial-types

[hauntsaninja]

Also add it to a bunch of test cases where it is needed

[github-actions]

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

[cdce8p]

Making --local-partial-types invertible will certainly help which it's adoption. E.g. we could also consider adding it to --strict as a first step before making it the default in 2.0.

I do just wonder what change made the test diffs necessary. Adding add_invertible_flag with default=False shouldn't change anything, does it?

It will probably make sense to enable it for all our tests by default, but in that case the test config should probably be changed in the same PR. E.g. it could be added here.

mypy/mypy/test/testcheck.py

Lines 128 to 131 in 55d4c17

	options = parse_options(original_program_text, testcase, incremental_step)
	options.use_builtins_fixtures = True
	options.show_traceback = True

--
Feel free to split that up into a different PR if you like though.

[hauntsaninja]

Oh, it wasn't necessary, I was just testing that the PR worked by changing the default locally and proactively added it to test cases where I felt confident it was what we needed

[hauntsaninja]

Yeah, changing default in tests is not a bad idea