type t1 = 'abc' type AllCharsInString<T extends string> = ... type t2 = AllCharsInString<t1> // 期望得到 'a' | 'b' | 'c'能做到吗?
type AllCharsInString<T extends string> = T extends `${infer F}${infer L}` ? F | AllCharsInString<L> : never