const ondragleave_setterinfo: JSJitInfo;