@@ -1743,18 +1743,15 @@ L0:
1743
1743
def g():
1744
1744
r0, r1, r2 :: str
1745
1745
r3, r4, r5 :: object
1746
- r6 :: dict[exact]
1747
- r7 :: dict
1748
- r8 :: dict[exact]
1749
- r9 :: str
1750
- r10 :: object
1751
- r11 :: dict[exact]
1752
- r12 :: dict
1753
- r13 :: i32
1754
- r14 :: bit
1755
- r15 :: tuple
1756
- r16 :: object
1757
- r17 :: tuple[int, int, int]
1746
+ r6, r7 :: dict[exact]
1747
+ r8 :: str
1748
+ r9 :: object
1749
+ r10 :: dict[exact]
1750
+ r11 :: i32
1751
+ r12 :: bit
1752
+ r13 :: tuple
1753
+ r14 :: object
1754
+ r15 :: tuple[int, int, int]
1758
1755
L0:
1759
1756
r0 = 'a'
1760
1757
r1 = 'b'
@@ -1763,53 +1760,46 @@ L0:
1763
1760
r4 = object 2
1764
1761
r5 = object 3
1765
1762
r6 = CPyDict_Build(3, r0, r3, r1, r4, r2, r5)
1766
- r7 = cast(dict, r6)
1767
- r8 = __main__.globals :: static
1768
- r9 = 'f'
1769
- r10 = CPyDict_GetItemUnsafe(r8, r9)
1770
- r11 = PyDict_New()
1771
- r12 = cast(dict, r11)
1772
- r13 = CPyDict_UpdateInDisplay(r12, r7)
1773
- r14 = r13 >= 0 :: signed
1774
- r15 = PyTuple_Pack(0)
1775
- r16 = PyObject_Call(r10, r15, r11)
1776
- r17 = unbox(tuple[int, int, int], r16)
1777
- return r17
1763
+ r7 = __main__.globals :: static
1764
+ r8 = 'f'
1765
+ r9 = CPyDict_GetItemUnsafe(r7, r8)
1766
+ r10 = PyDict_New()
1767
+ r11 = PyDict_Update(r10, r6)
1768
+ r12 = r11 >= 0 :: signed
1769
+ r13 = PyTuple_Pack(0)
1770
+ r14 = PyObject_Call(r9, r13, r10)
1771
+ r15 = unbox(tuple[int, int, int], r14)
1772
+ return r15
1778
1773
def h():
1779
1774
r0, r1 :: str
1780
1775
r2, r3 :: object
1781
- r4 :: dict[exact]
1782
- r5 :: dict
1783
- r6 :: dict[exact]
1784
- r7 :: str
1785
- r8 :: object
1786
- r9 :: dict[exact]
1787
- r10 :: dict
1788
- r11 :: i32
1789
- r12 :: bit
1776
+ r4, r5 :: dict[exact]
1777
+ r6 :: str
1778
+ r7 :: object
1779
+ r8 :: dict[exact]
1780
+ r9 :: i32
1781
+ r10 :: bit
1782
+ r11 :: object
1783
+ r12 :: tuple
1790
1784
r13 :: object
1791
- r14 :: tuple
1792
- r15 :: object
1793
- r16 :: tuple[int, int, int]
1785
+ r14 :: tuple[int, int, int]
1794
1786
L0:
1795
1787
r0 = 'b'
1796
1788
r1 = 'c'
1797
1789
r2 = object 2
1798
1790
r3 = object 3
1799
1791
r4 = CPyDict_Build(2, r0, r2, r1, r3)
1800
- r5 = cast(dict, r4)
1801
- r6 = __main__.globals :: static
1802
- r7 = 'f'
1803
- r8 = CPyDict_GetItemUnsafe(r6, r7)
1804
- r9 = PyDict_New()
1805
- r10 = cast(dict, r9)
1806
- r11 = CPyDict_UpdateInDisplay(r10, r5)
1807
- r12 = r11 >= 0 :: signed
1808
- r13 = object 1
1809
- r14 = PyTuple_Pack(1, r13)
1810
- r15 = PyObject_Call(r8, r14, r9)
1811
- r16 = unbox(tuple[int, int, int], r15)
1812
- return r16
1792
+ r5 = __main__.globals :: static
1793
+ r6 = 'f'
1794
+ r7 = CPyDict_GetItemUnsafe(r5, r6)
1795
+ r8 = PyDict_New()
1796
+ r9 = PyDict_Update(r8, r4)
1797
+ r10 = r9 >= 0 :: signed
1798
+ r11 = object 1
1799
+ r12 = PyTuple_Pack(1, r11)
1800
+ r13 = PyObject_Call(r7, r12, r8)
1801
+ r14 = unbox(tuple[int, int, int], r13)
1802
+ return r14
1813
1803
1814
1804
[case testFunctionCallWithDefaultArgs]
1815
1805
def f(x: int, y: int = 3, z: str = "test") -> None:
0 commit comments