type ExtractSubtype<T> = T extends SomeType<infer TSubtype> ? TSubtype : never
сделать подобные вещи дарт не позволяет, все что там есть - стыдливый dynamic.
@ituxka там в целом с conditional типами плохо все. еще там есть type inference, но при описании типов его как бы и нет(это то что в примере выше написал).
@ituxka там в целом с conditional типами плохо все. еще там есть type inference, но при описании типов его как бы и нет(это то что в примере выше написал).
Не спорю, но по этому поводу ничего сказать не могу, я это и в дарте и в тс не использовал