const type_getterinfo: JSJitInfo;