VimPlug/jedi-fork
1
0
Fork 0
forked from VimPlug/jedi
Code Pull Requests Activity

Add a comment to clarify the Type case

Browse Source
This commit is contained in:
Dave Halter
2020-04-02 00:23:38 +02:00
parent ebb2786748
commit dde40b3a71
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jedi/inference/gradual/typing.py
+6 -2
View File
@@ -197,14 +197,18 @@ class TypingClassValueWithIndex(_TypingClassMixin, TypingValueWithIndex):
annotation_name = self.py__name__() annotation_name = self.py__name__()
if annotation_name == 'Type': if annotation_name == 'Type':
if is_class_value: if is_class_value:
# This only applies if we are comparing something like
# List[Type[int]] with Iterable[Type[int]]. First, Jedi tries to
# match List/Iterable. After that we will land here, because
# is_class_value will be True at that point. Obviously we also
# compare below that both sides are `Type`.
for element in value_set: for element in value_set:
element_name = element.py__name__() element_name = element.py__name__()
if annotation_name == element_name: if element_name == 'Type':
merge_type_var_dicts( merge_type_var_dicts(
type_var_dict, type_var_dict,
merge_pairwise_generics(self, element), merge_pairwise_generics(self, element),
) )
else: else:
return annotation_generics[0].infer_type_vars( return annotation_generics[0].infer_type_vars(
value_set, value_set,