const borderStyle_getterinfo: JSJitInfo;