@@ -9591,7 +9591,7 @@ reveal_type(Foo().x)
95919591[builtins fixtures/isinstance.pyi]
95929592[out]
95939593==
9594- b.py:2: note: Revealed type is "a.<subclass of "A" and "B">"
9594+ b.py:2: note: Revealed type is "a.<subclass of "a. A" and "a. B">"
95959595
95969596[case testIsInstanceAdHocIntersectionFineGrainedIncrementalIsInstanceChange]
95979597import c
@@ -9625,9 +9625,9 @@ from b import y
96259625reveal_type(y)
96269626[builtins fixtures/isinstance.pyi]
96279627[out]
9628- c.py:2: note: Revealed type is "a.<subclass of "A" and "B">"
9628+ c.py:2: note: Revealed type is "a.<subclass of "a. A" and "a. B">"
96299629==
9630- c.py:2: note: Revealed type is "a.<subclass of "A" and "C">"
9630+ c.py:2: note: Revealed type is "a.<subclass of "a. A" and "a. C">"
96319631
96329632[case testIsInstanceAdHocIntersectionFineGrainedIncrementalUnderlyingObjChang]
96339633import c
@@ -9653,9 +9653,9 @@ from b import y
96539653reveal_type(y)
96549654[builtins fixtures/isinstance.pyi]
96559655[out]
9656- c.py:2: note: Revealed type is "b.<subclass of "A" and "B">"
9656+ c.py:2: note: Revealed type is "b.<subclass of "a. A" and "a. B">"
96579657==
9658- c.py:2: note: Revealed type is "b.<subclass of "A" and "C">"
9658+ c.py:2: note: Revealed type is "b.<subclass of "a. A" and "a. C">"
96599659
96609660[case testIsInstanceAdHocIntersectionFineGrainedIncrementalIntersectionToUnreachable]
96619661import c
@@ -9686,7 +9686,7 @@ from b import z
96869686reveal_type(z)
96879687[builtins fixtures/isinstance.pyi]
96889688[out]
9689- c.py:2: note: Revealed type is "a.<subclass of "A" and "B">"
9689+ c.py:2: note: Revealed type is "a.<subclass of "a. A" and "a. B">"
96909690==
96919691c.py:2: note: Revealed type is "Any"
96929692b.py:2: error: Cannot determine type of "y"
@@ -9723,7 +9723,7 @@ reveal_type(z)
97239723b.py:2: error: Cannot determine type of "y"
97249724c.py:2: note: Revealed type is "Any"
97259725==
9726- c.py:2: note: Revealed type is "a.<subclass of "A" and "B">"
9726+ c.py:2: note: Revealed type is "a.<subclass of "a. A" and "a. B">"
97279727
97289728[case testStubFixupIssues]
97299729[file a.py]
0 commit comments