gh-131798: Narrow the return type of _FORMAT_SIMPLE and _FORMAT_WITH_SPEC to str for built-in types

Author: NekoAsakura

Python/optimizer_symbols.c

@@ -264,6 +264,16 @@ _Py_uop_sym_get_const_as_stackref(JitOptContext *ctx, JitOptRef sym)
     return PyStackRef_FromPyObjectBorrow(const_val);
 }
 
+static bool
+is_safe_builtin_type(PyTypeObject *typ)
+{
+    return (typ == &PyUnicode_Type) ||
+           (typ == &PyFloat_Type) ||
+           (typ == &_PyNone_Type) ||
+           (typ == &PyBool_Type) ||
+           (typ == &PyFrozenDict_Type);
+}
+
 /*
  Indicates whether the type is a known built-in type
  that is safe to narrow.
@@ -275,12 +285,7 @@ _Py_uop_sym_is_safe_type(JitOptRef sym)
     if (typ == NULL) {
         return false;
     }
-    return (typ == &PyLong_Type) ||
-           (typ == &PyUnicode_Type) ||
-           (typ == &PyFloat_Type) ||
-           (typ == &_PyNone_Type) ||
-           (typ == &PyBool_Type) ||
-           (typ == &PyFrozenDict_Type);
+    return (typ == &PyLong_Type) || is_safe_builtin_type(typ);
 }
 
 /*
@@ -298,11 +303,7 @@ _Py_uop_sym_is_safe_const(JitOptContext *ctx, JitOptRef sym)
         return true;
     }
     PyTypeObject *typ = Py_TYPE(const_val);
-    return (typ == &PyUnicode_Type) ||
-           (typ == &PyFloat_Type) ||
-           (typ == &_PyNone_Type) ||
-           (typ == &PyBool_Type) ||
-           (typ == &PyFrozenDict_Type);
+    return is_safe_builtin_type(typ);
 }
 
 void