Code is not matched docs (typeobject.c)

[twoone-3]

typeobject.c

    /* Set type.__module__ */
    r = _PyDict_ContainsId(type->tp_dict, &PyId___module__);
    if (r < 0) {
        goto fail;
    }
    if (r == 0) {
        s = strrchr(spec->name, '.');
        if (s != NULL) {
            modname = PyUnicode_FromStringAndSize(
                    spec->name, (Py_ssize_t)(s - spec->name));
            if (modname == NULL) {
                goto fail;
            }
            r = _PyDict_SetItemId(type->tp_dict, &PyId___module__, modname);
            Py_DECREF(modname);
            if (r != 0)
                goto fail;
        } else {
            if (PyErr_WarnFormat(PyExc_DeprecationWarning, 1,
                    "builtin type %.200s has no __module__ attribute",
                    spec->name))
                goto fail;
        }
    }

https://docs.python.org/3/c-api/typeobj.html#c.PyTypeObject.tp_name
Dynamic types are still checkpointed and the document does not match the code

[ericvsmith]

What change are you proposing. It’s not clear to me what the problem is.

[twoone-3]

When I register a dynamic type and use a plain type name such as 'abc', it reports a warning DepracationWarning,the abc class has not module attribute

[ericvsmith]

Please provide a complete example that we can run.

[twoone-3]

inline PyObject* makeType() {
  PyType_Slot slots[] = {{0, nullptr}};
  PyType_Spec spec{"static_property", PyProperty_Type.tp_basicsize, PyProperty_Type.tp_itemsize,
                   Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HEAPTYPE, slots};
  PyObject* type = PyType_FromSpec(&spec);
  return type;
}

[twoone-3]

From docs, the name should have not '.', but in this example, it throws a DepracationWarning.
So I read the source code, #96418 (comment)
It parse '.' in PyType_FromSpec, but docs says that dynamic_type don't need add module_name. in front of classname