в котором не может быть полей из другого типа объекта?
например, есть такая функция-фабрика:
declare function factory<A extends {}, B extends {}>(a: () => A, b: (a: A) => B): Readonly<A & B>;
можно ли как то огрнаичить B чтоб тайпчекер ругался, на одноименные с A поля?
хм полностью проблему не решил... но хотя-бы сделал чтоб перекрытые вторым объектом поля имели правильный тип, и как все просто то оказалось: type Merge<T0 extends {[name: string]: any}, T1 extends {[name: string]: any}> = { [name in keyof T0 | keyof T1]: name extends keyof T1 ? T1[name] : name extends keyof T0 ? T0[name] : never };
Обсуждают сегодня