const type_setterinfo: JSJitInfo;