El comportamiento que estoy buscando se puede implementar con sobrecarga:

 function fun(elType: "input", params: Input): number; function fun(elType: "swtich", params: Switch): number; function fun(){ return 2 }

Donde si corro:

 fun("swtich", SOMETHING_OF_SHAPE_SWITCH) //compiles fun("input", SOMETHING_OF_SHAPE_INPUT) // error fun("input", SOMETHING_OF_SHAPE_INPUT) //compiles

Me preguntaba si se puede hacer comprobando el parámetro directamente:

 interface Input { a: 2 } interface Switch { b: 2 } type ElType = { input: Input, switch: Switch, } const fun = <T extends keyof ElType>(elType: keyof ElType, params: ElType[typeof elType]) => { }

Eso es lo más cerca que tengo, pero permite ambos:

 fun("input", { b: 2 }) fun("input", { a: 2 })

Parece que estoy cerca, pero a) no estoy muy seguro de lo que sucede en este último ejemplo yb) no estoy seguro de cómo lograr el comportamiento deseado.

Parece que lo que quiero hacer es:

 const fun = <T extends keyof ElType>(elType: keyof ElType, params: ElType[elType]) => {}

Pero aparece el error: type 'elType' cannot be used as an index type.

Aquí hay un tsplayg4round que estoy usando si quieres jugar.

He visto varias bibliotecas implementar este patrón, así que me preguntaba cuál es la forma más idiomática de hacerlo.