We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 02a472a commit a3dac67Copy full SHA for a3dac67
mypy/subtypes.py
@@ -213,8 +213,8 @@ def is_proper_subtype(
213
keep_erased_types=keep_erased_types,
214
)
215
else:
216
- assert not any(
217
- {ignore_promotions, erase_instances, keep_erased_types}
+ assert (
+ not ignore_promotions and not erase_instances and not keep_erased_types
218
), "Don't pass both context and individual flags"
219
if type_state.is_assumed_proper_subtype(left, right):
220
return True
0 commit comments