const margin_inline_setterinfo: JSJitInfo;