(element-type int) for GList
There are two reasonable meanings for an annotation "(element-type int)" for a GList* argument. Ditto GSList*, GHashTable*, and maybe GPtrArray*.
- Each element is a pointer to an int.
- Each element is an int. GPOINTER_TO_INT and GINT_TO_POINTER are in use.
The documentation seems silent on which one is right, but I suspect (1). How does one annotate for (2)?
If new syntax is needed, I would suggest "(element-type unboxed int)"