const checked_setterinfo: JSJitInfo;