Break TS compiler in 1 tweet

type a = {a:u; b:u; c:u; d:u}
type b = {e:u; f:u; g:u; h:u}
type u = a|b
type G1<K,T> = {[P in keyof T]: [K, P]&G1<[K, P],T[P]>}
type G2<K,T> = {[P in keyof T]: [K, P]&G2<[K, P],T[P]>}
type x = G1<1,a> extends G2<1,a> ? 1 : 0https://t.co/u14noR3lCM

— Jin (@_jin_nin_) December 2, 2020