type A = number extends infer T ? never : T;