const minLength_setterinfo: JSJitInfo;