Type NoInfer<A> =[A][A extends any ? 0 : never]

Ошибок нет, но они там зависимость имеют от аргументов, но задача сверху - пример. В реальном проекте в аргументах у меня нет аргумента с нужным типом

0

20.05.2023

Demian Netliukh

Demian Netliukh
Так, а если ты повсюду уберешь extends, все работа...

Возможно ты просто типу сужаешь, как в примере я тебе скинул

0

20.05.2023

.sha

Идель Гатауллин
Ошибок нет, но они там зависимость имеют от аргуме...

Тогда не понятно, какая у вас связь между этими типами вообще. Здесь 2 варианта: - Типы абсолютно друг от друга не зависят, тогда action — это просто отдельный независимый тип R - Типы зависимы, тогда action’у можно задать тип на основе T Пример, который вы прислали — надуманный, т.к. у AsyncThunk все аргументы generic’а не используются

0

20.05.2023

Идель Гатауллин

.sha
Тогда не понятно, какая у вас связь между этими ти...

Я делаю обёртку над extraReducers, и пытаюсь сделать так, чтобы основываясь над выходом createAsyncThunk получить информацию о state и о возвращаемым параметром, ибо мне для коллбека надо подтягивать в state и action payload правильного типа

0

20.05.2023

Идель Гатауллин

.sha
Тогда не понятно, какая у вас связь между этими ти...

0

20.05.2023

Идель Гатауллин

.sha
Тогда не понятно, какая у вас связь между этими ти...

0

20.05.2023

.sha

Идель Гатауллин

Я делаю обёртку над extraReducers, и пытаюсь сдела...

Ну я по-прежнему не вижу препятствий для того, чтобы извлечь тип R из T. Тип AsyncThunk как выглядит у вас?

0

20.05.2023

Идель Гатауллин

.sha
Ну я по-прежнему не вижу препятствий для того, что...

Это не мой тип

0

20.05.2023

.sha

Идель Гатауллин

Это не мой тип

какая библиотека предоставляет AsyncThunk?

0

20.05.2023

Идель Гатауллин

redux-toolkit

0

20.05.2023

.sha

Идель Гатауллин
redux-toolkit

ну, технически мой подход работает, конечно, но соглашусь, что тип для извлечения R из T выглядит немного уродливо. https://stackblitz.com/edit/typescript-27bsyd?file=index.ts Над альтернативами надо подумать

0

20.05.2023

Идель Гатауллин

.sha
ну, технически мой подход работает, конечно, но со...

Спасибо тебе

0

20.05.2023

.sha

Идель Гатауллин
Спасибо тебе

Вообще кейс интересный, было бы прикольно разобраться в корне проблемы. Закинул вопрос на SO: https://stackoverflow.com/questions/76294709/why-cant-typescript-infer-generic-type-parameter-when-one-type-parameter-depend Если никто не ответит, заведу issue в typescript

0

20.05.2023

Идель Гатауллин

.sha
Вообще кейс интересный, было бы прикольно разобрат...

Хорошо)

0

20.05.2023

Хракс Мамцов Автор вопроса

.

0

20.05.2023

Идель Гатауллин