const required_setterinfo: JSJitInfo;