const border_right_setterinfo: JSJitInfo;