type Has2<T extends readonly any[], U> = T[number] extends U ? true : never;

type UU = ['Kars', 'Esidisi'];

type AA = Has2<UU, 'Kars'>; 

I think AA should be type true, but type is never
I don`t know why

i try to ask chatGPT but it`s answer is that type AA is true