test that inferring the function pointer type for a C function is enabled in safe...

diff --git a/tests/run/type_inference.pyx b/tests/run/type_inference.pyx
index a056fe34284784f58cef48a29ecddc174175aa10..2c5f1809621ee03cb16de1f74dd7893bcef70703 100644 (file)
--- a/tests/run/type_inference.pyx
+++ b/tests/run/type_inference.pyx
@@ -210,14 +210,14 @@ def builtin_type_methods():
     append(1)
     assert l == [1], str(l)
 
-cdef int func(int x):
+cdef int cfunc(int x):
     return x+1
 
 def c_functions():
     """
     >>> c_functions()
     """
-    f = func
+    f = cfunc
     assert typeof(f) == 'int (*)(int)', typeof(f)
     assert 2 == f(1)
 
@@ -424,6 +424,15 @@ def safe_only():
         res = -j
     assert typeof(j) == "Python object", typeof(j)
 
+@infer_types(None)
+def safe_c_functions():
+    """
+    >>> safe_c_functions()
+    """
+    f = cfunc
+    assert typeof(f) == 'int (*)(int)', typeof(f)
+    assert 2 == f(1)
+
 @infer_types(None)
 def args_tuple_keywords(*args, **kwargs):
     """