const padding_inline_end_setterinfo: JSJitInfo;