Is this code valid TypeScript?

Trace the program the way the computer would, then make your call before running anything.

type Check<T> = T extends number ? string : boolean;
let x: Check<number> = 'hello';
let y: Check<string> = true;