переменная (включая те, что из infer). Поэтому, если типу в дженерике не передавать маппинг (как в оригинальном примере), придется делать с infer
Mapping extends infer M ? M extends any ? true : false : false
^^^^^^^^^^^^^
дистибьютинг происходит здесь, а не в первом conditional
а, извини, да, теперь понял
Обсуждают сегодня