According to https://gitlab.gnome.org/GNOME/gjs/-/blob/master/gi/private.cpp#L80-85, it should return a `GObject.ParamSpecOverride`, so it can be used in the `Properties` object as documented [here](https://gjs.guide/guides/gobject/interfaces.html#defining-properties)