fix: ir

Author: BobTheBuidler

mypyc/test-data/irbuild-basic.test

@@ -1680,7 +1680,7 @@ L0:
     r0 = (2, 4, 6)
     r1 = __main__.globals :: static
     r2 = 'f'
-    r3 = CPyDict_GetItem(r1, r2)
+    r3 = CPyDict_GetItemUnsafe(r1, r2)
     r4 = box(tuple[int, int, int], r0)
     r5 = PyObject_CallObject(r3, r4)
     r6 = unbox(tuple[int, int, int], r5)
@@ -1732,11 +1732,11 @@ L0:
 def g():
     r0, r1, r2 :: str
     r3, r4, r5 :: object
-    r6, r7 :: dict
+    r6, r7 :: dict[exact]
     r8 :: str
     r9 :: object
     r10 :: tuple
-    r11 :: dict
+    r11 :: dict[exact]
     r12 :: object
     r13 :: tuple[int, int, int]
 L0:
@@ -1749,7 +1749,7 @@ L0:
     r6 = CPyDict_Build(3, r0, r3, r1, r4, r2, r5)
     r7 = __main__.globals :: static
     r8 = 'f'
-    r9 = CPyDict_GetItem(r7, r8)
+    r9 = CPyDict_GetItemUnsafe(r7, r8)
     r10 = CPyTuple_LoadEmptyTupleConstant()
     r11 = PyDict_Copy(r6)
     r12 = PyObject_Call(r9, r10, r11)
@@ -3675,15 +3675,16 @@ def wrapper_deco_obj.__call__(__mypyc_self__, lst, kwargs):
     r0 :: __main__.deco_env
     r1 :: object
     r2 :: tuple
-    r3 :: dict
-    r4 :: object
+    r3, r4 :: dict[exact]
+    r5 :: object
 L0:
     r0 = __mypyc_self__.__mypyc_env__
     r1 = r0.fn
     r2 = PyList_AsTuple(lst)
-    r3 = PyDict_Copy(kwargs)
-    r4 = PyObject_Call(r1, r2, r3)
-    return r4
+    r3 = cast(dict[exact], kwargs)
+    r4 = PyDict_Copy(r3)
+    r5 = PyObject_Call(r1, r2, r4)
+    return r5
 def deco(fn):
     fn :: object
     r0 :: __main__.deco_env
@@ -3776,15 +3777,16 @@ def wrapper_deco_obj.__call__(__mypyc_self__, args, kwargs):
     r0 :: __main__.deco_env
     r1 :: object
     r2 :: tuple
-    r3 :: dict
-    r4 :: object
+    r3, r4 :: dict[exact]
+    r5 :: object
 L0:
     r0 = __mypyc_self__.__mypyc_env__
     r1 = r0.fn
     r2 = PySequence_Tuple(args)
-    r3 = PyDict_Copy(kwargs)
-    r4 = PyObject_Call(r1, r2, r3)
-    return r4
+    r3 = cast(dict[exact], kwargs)
+    r4 = PyDict_Copy(r3)
+    r5 = PyObject_Call(r1, r2, r4)
+    return r5
 def deco(fn):
     fn :: object
     r0 :: __main__.deco_env
@@ -3799,3 +3801,4 @@ L0:
     r2.__mypyc_env__ = r0; r3 = is_error
     wrapper = r2
     return wrapper
+

mypyc/test-data/irbuild-generics.test

@@ -166,14 +166,16 @@ execute(f, 1)
 def execute(func, args, kwargs):
     func :: object
     args :: tuple
-    kwargs, r0 :: dict
-    r1 :: object
-    r2 :: int
+    kwargs :: dict
+    r0, r1 :: dict[exact]
+    r2 :: object
+    r3 :: int
 L0:
-    r0 = PyDict_Copy(kwargs)
-    r1 = PyObject_Call(func, args, r0)
-    r2 = unbox(int, r1)
-    return r2
+    r0 = cast(dict[exact], kwargs)
+    r1 = PyDict_Copy(r0)
+    r2 = PyObject_Call(func, args, r1)
+    r3 = unbox(int, r2)
+    return r3
 def f(x):
     x :: int
 L0:
@@ -683,7 +685,7 @@ def inner_deco_obj.__call__(__mypyc_self__, args, kwargs):
     r5, x :: object
     r6 :: native_int
     can_listcomp :: list
-    r7 :: dict
+    r7 :: dict[exact]
     r8 :: short_int
     r9 :: native_int
     r10 :: object
@@ -698,9 +700,9 @@ def inner_deco_obj.__call__(__mypyc_self__, args, kwargs):
     can_dictcomp :: dict
     r21, can_iter, r22, can_use_keys, r23, can_use_values :: list
     r24 :: object
-    r25 :: dict
-    r26 :: object
-    r27 :: int
+    r25, r26 :: dict[exact]
+    r27 :: object
+    r28 :: int
 L0:
     r0 = __mypyc_self__.__mypyc_env__
     r1 = var_object_size args
@@ -751,10 +753,11 @@ L9:
     r23 = CPyDict_Values(kwargs)
     can_use_values = r23
     r24 = r0.func
-    r25 = PyDict_Copy(kwargs)
-    r26 = PyObject_Call(r24, args, r25)
-    r27 = unbox(int, r26)
-    return r27
+    r25 = cast(dict[exact], kwargs)
+    r26 = PyDict_Copy(r25)
+    r27 = PyObject_Call(r24, args, r26)
+    r28 = unbox(int, r27)
+    return r28
 def deco(func):
     func :: object
     r0 :: __main__.deco_env
@@ -773,3 +776,4 @@ def f(x):
     x :: int
 L0:
     return x
+