Aquí hay una demostración de genéricos inferir (no inferir palabra clave):

 function foo<A>(a: A): A {} const result = foo({ a: 1 }); // const result: { // a: number; // }

Pero parece que no puedo agregar algunos tipos "adicionales" a la función foo, de lo contrario, inferir no funcionará:

 function foo<Extra, A>(a: A): A & Extra {} const result = foo<{ b: number }>({ a: 1 }); // const result: { // b: number; // }

Entonces, lo que quiero es que la función foo pueda tener tanto el tipo a como el b en el ejemplo anterior, ¿alguien puede ayudarme?