File tree Expand file tree Collapse file tree 1 file changed +2
-3
lines changed Expand file tree Collapse file tree 1 file changed +2
-3
lines changed Original file line number Diff line number Diff line change @@ -508,15 +508,14 @@ def visit_param_spec(self, t: ParamSpecType) -> ProperType:
508
508
509
509
def visit_instance (self , t : Instance ) -> ProperType :
510
510
if isinstance (self .s , Instance ):
511
- si = self .s
512
- if t .type == si .type :
511
+ if t .type == self .s .type :
513
512
if is_subtype (t , self .s ) or is_subtype (self .s , t ):
514
513
# Combine type arguments. We could have used join below
515
514
# equivalently.
516
515
args : List [Type ] = []
517
516
# N.B: We use zip instead of indexing because the lengths might have
518
517
# mismatches during daemon reprocessing.
519
- for ta , sia in zip (t .args , si .args ):
518
+ for ta , sia in zip (t .args , self . s .args ):
520
519
args .append (self .meet (ta , sia ))
521
520
return Instance (t .type , args )
522
521
else :
You can’t perform that action at this time.
0 commit comments