type Keys = 'a'|'b'|'c'
type KeySet<T extends Keys> = { [k in T]: true }

// now an error: Type 'T | "d"' does not satisfy the constraint 'Keys'
declare function hasKey<T extends Keys>(x: KeySet<T>): x is KeySet<T|'d'>;