Which is the inferred type T?

type IsString<T> = T extends string ? true : false;\ntype T = IsString<string | 1>;