const border_right_getterinfo: JSJitInfo;