const border_bottom_style_setterinfo: JSJitInfo;