это так работает?
https://www.typescriptlang.org/play?#code/PTAEBcAsFMCdtASwM4QJ4AdqoHYENZYB7Ad0RwHNQZ4BYAKHPDgDM8BjBAQQwwBsEAbwahR6LAC5QAchawAronDSA3CLH4AttCnJwschTX0xoPBR2gc8zQCM4xgL4MGTVhwQAFIuDzgioMImYuCYltIAbtAUquqiWpZ6BpTGpuaW1nYODM70rjjMsGycoADK+ngk9oRogXHi4dWwaLHB8XjauvqGTi707EQ4emaEUlyEeGgAPDz8CAA+oN6+-qCL5bCVTWgAfKAAvKAA2vWCoZIycorKADRWHeEJ0nfpUgCMAEyON6fn4VExO4JKTSJ4vCzvL4-NqBP4g7bPe6dGRPb4MAC6xgYBFgADpNHgMAAKJTQTQHPZBUzIMjgdiQUAk5iaXF-ACUdRhpnYeGQCFkCiU0gk9VMpng4HksBwSGZqTFogAJtA2PI+OARVyFaAJVKZdY+Hx5aJco42Vj6CBQIqiNgcNJwKASERYABrUCAPg3ACi7fTcRQ8oFmAjenNMcMCA2VIKuQscxqRiW6KXqrysNmqvTyjAK7hKyz8RBDVJCYSkgkj-2i0jj9WBoCSPRTELTWVgmfyhWKCA2WzgzSL9XD5aIUZkCJrMLrDeT9FyDAGQ0dOLeYwm0yD0BDi3z-i3ZQqVT7aDee0OJxhZ1LEZH4Rjym+CZBYLMzc+aIvQ4rIIB1aBDyfDyIqmb7QqYl4XMOo7SOOf7IqCgHvpifTLvihJMmSFKhmINJKPSjKkiyfy4hWHLFgqPJ8pcgrKJq2pirq0qymS8amMqqrqrRdFiAx+pqka9SmuaQA
В первом случае, когда чекаем ключ в корне сужение типов срабатывает. Во втором, когда появляется вложенность сужение не работает и item все еще юнион тип
Discriminated Union https://basarat.gitbook.io/typescript/type-system/discriminated-unions
https://github.com/microsoft/TypeScript/issues/18758
Спасибо. Так вот тс отказывается сужать тип, если ключ по которому он должен бы определиться находится не в корне объекта. Если брать пример из стать, shape.kind - работает, а shape.type.kind к примеру не сработает. Это ограничения тс, он просто так не умеет или можно ему как-то подсказать?
не умеет, но уже есть PR и уже года 3-4 как issue есть))
Принято, спасибо
Обсуждают сегодня