const border_style_getterinfo: JSJitInfo;