希望你一切都好。我有一个问题。我正在寻找一个类型，通过一个字符串循环一次一个字符，如果所有的字符匹配查找字符，那么它应该返回字符串，如果不是，它应该返回never或空字符串。一直有一些麻烦，因为我有基本上像Trim的行为，这不是我真正寻找的。由于我正在寻找更多的模式匹配类型。希望你能提供一些帮助，这和提前感谢！

type Char =
  | "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7"
  | "8" | "9" | "a" | "A" | "b" | "B" | "c" | "C"
  | "d" | "D" | "e" | "E" | "f" | "F";

type Word<S extends string> = S extends `${Char}${infer Rest}` ? Word<Rest> : never;

编码：TSPlayground