Можете объяснить назначение и работу ключевого оператора infer в языке TypeScript?