What happened?
Inferring the type of lambda x: (x, (lambda: x)()) with, say, int, should return Tuple[int, int], but instead returns Tuple[type, type].
I suspect this is in an issue with load_closure storing the constant int rather than recording the stored value is of type int.
Issue Priority
Priority: 3 (minor)
Issue Components
What happened?
Inferring the type of
lambda x: (x, (lambda: x)())with, say,int, should returnTuple[int, int], but instead returnsTuple[type, type].I suspect this is in an issue with load_closure storing the constant
intrather than recording the stored value is of typeint.Issue Priority
Priority: 3 (minor)
Issue Components