const margin_inline_end_setterinfo: JSJitInfo;