const defaultValue_setterinfo: JSJitInfo;