File tree Expand file tree Collapse file tree 2 files changed +34
-32
lines changed Expand file tree Collapse file tree 2 files changed +34
-32
lines changed Original file line number Diff line number Diff line change @@ -526,11 +526,11 @@ def __top_level__():
526526 r11 :: native_int[4]
527527 r12 :: c_ptr
528528 r13 :: object
529- r14 :: dict
529+ r14 :: dict[exact]
530530 r15, r16 :: str
531531 r17 :: bit
532532 r18 :: str
533- r19 :: dict
533+ r19 :: dict[exact]
534534 r20 :: str
535535 r21 :: i32
536536 r22 :: bit
@@ -540,7 +540,7 @@ def __top_level__():
540540 r26 :: native_int[1]
541541 r27 :: c_ptr
542542 r28 :: object
543- r29 :: dict
543+ r29 :: dict[exact]
544544 r30, r31 :: str
545545 r32 :: bit
546546 r33 :: object
@@ -604,18 +604,18 @@ def h() -> int:
604604[out]
605605def f(x):
606606 x :: int
607- r0 :: dict
607+ r0 :: dict[exact]
608608 r1 :: str
609609 r2, r3 :: object
610610 r4 :: object[1]
611611 r5 :: object_ptr
612612 r6 :: object
613613 r7 :: int
614- r8 :: dict
614+ r8 :: dict[exact]
615615 r9 :: str
616616 r10, r11 :: object
617617 r12, r13 :: int
618- r14 :: dict
618+ r14 :: dict[exact]
619619 r15 :: str
620620 r16, r17 :: object
621621 r18, r19 :: int
@@ -648,10 +648,10 @@ def __top_level__():
648648 r3 :: str
649649 r4, r5 :: object
650650 r6 :: str
651- r7 :: dict
651+ r7 :: dict[exact]
652652 r8, r9, r10 :: object
653653 r11 :: str
654- r12 :: dict
654+ r12 :: dict[exact]
655655 r13 :: object
656656L0:
657657 r0 = builtins :: module
@@ -1137,7 +1137,7 @@ L0:
11371137 return r0
11381138def call_python_function(x):
11391139 x :: int
1140- r0 :: dict
1140+ r0 :: dict[exact]
11411141 r1 :: str
11421142 r2, r3 :: object
11431143 r4 :: object[1]
@@ -1159,7 +1159,7 @@ def return_float():
11591159L0:
11601160 return 5.0
11611161def return_callable_type():
1162- r0 :: dict
1162+ r0 :: dict[exact]
11631163 r1 :: str
11641164 r2 :: object
11651165L0:
@@ -1423,7 +1423,7 @@ def f() -> None:
14231423 print(x)
14241424[out]
14251425def f():
1426- r0 :: dict
1426+ r0 :: dict[exact]
14271427 r1 :: str
14281428 r2 :: object
14291429 r3 :: int
@@ -1452,12 +1452,12 @@ def __top_level__():
14521452 r2 :: bit
14531453 r3 :: str
14541454 r4 :: object
1455- r5 :: dict
1455+ r5 :: dict[exact]
14561456 r6 :: str
14571457 r7 :: object
14581458 r8 :: i32
14591459 r9 :: bit
1460- r10 :: dict
1460+ r10 :: dict[exact]
14611461 r11 :: str
14621462 r12 :: object
14631463 r13 :: int
@@ -1732,7 +1732,8 @@ L0:
17321732def g():
17331733 r0, r1, r2 :: str
17341734 r3, r4, r5 :: object
1735- r6, r7 :: dict[exact]
1735+ r6 :: dict
1736+ r7 :: dict[exact]
17361737 r8 :: str
17371738 r9 :: object
17381739 r10 :: tuple
@@ -1758,7 +1759,8 @@ L0:
17581759def h():
17591760 r0, r1 :: str
17601761 r2, r3 :: object
1761- r4, r5 :: dict[exact]
1762+ r4 :: dict
1763+ r5 :: dict[exact]
17621764 r6 :: str
17631765 r7 :: object
17641766 r8 :: dict
@@ -2581,19 +2583,19 @@ def c():
25812583 r0 :: __main__.c_env
25822584 r1 :: __main__.d_c_obj
25832585 r2 :: bool
2584- r3 :: dict
2586+ r3 :: dict[exact]
25852587 r4 :: str
25862588 r5 :: object
25872589 r6 :: object[1]
25882590 r7 :: object_ptr
25892591 r8 :: object
2590- r9 :: dict
2592+ r9 :: dict[exact]
25912593 r10 :: str
25922594 r11 :: object
25932595 r12 :: object[1]
25942596 r13 :: object_ptr
25952597 r14, d :: object
2596- r15 :: dict
2598+ r15 :: dict[exact]
25972599 r16 :: str
25982600 r17 :: i32
25992601 r18 :: bit
@@ -2643,24 +2645,24 @@ def __top_level__():
26432645 r3 :: str
26442646 r4, r5 :: object
26452647 r6 :: str
2646- r7 :: dict
2648+ r7 :: dict[exact]
26472649 r8 :: object
2648- r9 :: dict
2650+ r9 :: dict[exact]
26492651 r10 :: str
26502652 r11 :: object
2651- r12 :: dict
2653+ r12 :: dict[exact]
26522654 r13 :: str
26532655 r14 :: object
26542656 r15 :: object[1]
26552657 r16 :: object_ptr
26562658 r17 :: object
2657- r18 :: dict
2659+ r18 :: dict[exact]
26582660 r19 :: str
26592661 r20 :: object
26602662 r21 :: object[1]
26612663 r22 :: object_ptr
26622664 r23 :: object
2663- r24 :: dict
2665+ r24 :: dict[exact]
26642666 r25 :: str
26652667 r26 :: i32
26662668 r27 :: bit
Original file line number Diff line number Diff line change @@ -201,19 +201,19 @@ def __top_level__():
201201 r3 :: str
202202 r4, r5 :: object
203203 r6 :: str
204- r7 :: dict
204+ r7 :: dict[exact]
205205 r8, r9 :: object
206206 r10 :: str
207- r11 :: dict
207+ r11 :: dict[exact]
208208 r12 :: object
209209 r13 :: str
210- r14 :: dict
210+ r14 :: dict[exact]
211211 r15 :: str
212212 r16 :: object
213213 r17 :: object[1]
214214 r18 :: object_ptr
215215 r19 :: object
216- r20 :: dict
216+ r20 :: dict[exact]
217217 r21 :: str
218218 r22 :: i32
219219 r23 :: bit
@@ -225,7 +225,7 @@ def __top_level__():
225225 r30 :: tuple
226226 r31 :: i32
227227 r32 :: bit
228- r33 :: dict
228+ r33 :: dict[exact]
229229 r34 :: str
230230 r35 :: i32
231231 r36 :: bit
@@ -236,15 +236,15 @@ def __top_level__():
236236 r42 :: tuple
237237 r43 :: i32
238238 r44 :: bit
239- r45 :: dict
239+ r45 :: dict[exact]
240240 r46 :: str
241241 r47 :: i32
242242 r48 :: bit
243243 r49, r50 :: object
244- r51 :: dict
244+ r51 :: dict[exact]
245245 r52 :: str
246246 r53 :: object
247- r54 :: dict
247+ r54 :: dict[exact]
248248 r55 :: str
249249 r56, r57 :: object
250250 r58 :: tuple
@@ -255,7 +255,7 @@ def __top_level__():
255255 r65 :: tuple
256256 r66 :: i32
257257 r67 :: bit
258- r68 :: dict
258+ r68 :: dict[exact]
259259 r69 :: str
260260 r70 :: i32
261261 r71 :: bit
You can’t perform that action at this time.
0 commit comments