When there is a requirement to match the corresponding type based on the incoming type, implement as follows:
type Example = string
type C<T> = T extends Example ? string : boolean
const res: C<string | number> = true
const res2: C<string> = "12321412"