@@ -8,16 +8,13 @@ def f(x: object) -> object:
88[out]
99def f(x):
1010 x :: object
11- r0 :: weakref.ReferenceType
12- ref :: object
13- r1 :: weakref.ReferenceType
14- r2 :: object
11+ r0, ref :: weakref.ReferenceType
12+ r1 :: object
1513L0:
1614 r0 = PyWeakref_NewRef(x, 0)
1715 ref = r0
18- r1 = cast(weakref.ReferenceType, ref)
19- r2 = CPyWeakref_GetRef(r1)
20- return r2
16+ r1 = CPyWeakref_GetRef(ref)
17+ return r1
2118
2219[case testWeakrefRefCallback]
2320import weakref
@@ -29,16 +26,13 @@ def f(x: object, cb: Callable[[object], Any]) -> object:
2926[out]
3027def f(x, cb):
3128 x, cb :: object
32- r0 :: weakref.ReferenceType
33- ref :: object
34- r1 :: weakref.ReferenceType
35- r2 :: object
29+ r0, ref :: weakref.ReferenceType
30+ r1 :: object
3631L0:
3732 r0 = PyWeakref_NewRef(x, cb)
3833 ref = r0
39- r1 = cast(weakref.ReferenceType, ref)
40- r2 = CPyWeakref_GetRef(r1)
41- return r2
34+ r1 = CPyWeakref_GetRef(ref)
35+ return r1
4236
4337[case testFromWeakrefRef]
4438from typing import Any, Callable
@@ -50,16 +44,13 @@ def f(x: object) -> object:
5044[out]
5145def f(x):
5246 x :: object
53- r0 :: weakref.ReferenceType
54- r :: object
55- r1 :: weakref.ReferenceType
56- r2 :: object
47+ r0, r :: weakref.ReferenceType
48+ r1 :: object
5749L0:
5850 r0 = PyWeakref_NewRef(x, 0)
5951 r = r0
60- r1 = cast(weakref.ReferenceType, r)
61- r2 = CPyWeakref_GetRef(r1)
62- return r2
52+ r1 = CPyWeakref_GetRef(r)
53+ return r1
6354
6455[case testFromWeakrefRefCallback]
6556from typing import Any, Callable
@@ -71,13 +62,11 @@ def f(x: object, cb: Callable[[object], Any]) -> object:
7162[out]
7263def f(x, cb):
7364 x, cb :: object
74- r0 :: weakref.ReferenceType
75- r :: object
76- r1 :: weakref.ReferenceType
77- r2 :: object
65+ r0, r :: weakref.ReferenceType
66+ r1 :: object
7867L0:
7968 r0 = PyWeakref_NewRef(x, cb)
8069 r = r0
81- r1 = cast(weakref.ReferenceType, r)
82- r2 = CPyWeakref_GetRef(r1)
83- return r2
70+ r1 = CPyWeakref_GetRef( r)
71+ return r1
72+
0 commit comments