Generic type narrowing by typeof

[fuafa]

type IsString<X> = [X] extends [string] ? true : false

function isString<X extends string, Y>(x: X, y: Y)  {
    if (typeof x === "string") {
		// 因为 typeof x === 'string' 并没有为 X 增加额外的信息 (X 本来就 extends string)
		x; // X extends string，
        const a: IsString<typeof x> = true; // error: conditional type is deferred
    }
    if (typeof y === "string") {
		// 1. Y 原来并没有任何约束, (no extends)
		// 2. typeof y === 'string' -> typeof y <: string, 
		// 3. 同时 y: Y, 
		// 4. 所以 typeof y <: Y & string
		y; // Y & string，
        const b: IsString<typeof y> = true;
    }
}

microsoft/TypeScript#29939 (comment)