DK
Size: a a a
DK
КС
AP
type StoreValue<T> = T extends Readable<infer U> ? U : T
, и этот тип используется для каждого нового сахара, поэтому сужение типов не происходит при работе с шаблонами.AP
AP
T extends A | B | C ? ... : ...
и всяких T extends any
, T extends never
n
DK
DK
n
n
11
11
n
MG
n
n
n
n
11
КС