1// @strict: true 2type TakeString = (s: string) => any; 3 4// Various functions accepting an object whose properties are TakeString functions. 5// Note these all use mapped types. 6declare function mapped1<T extends {[P in string]: TakeString}>(obj: T): void; 7declare function mapped2<T extends {[P in keyof T]: TakeString}>(obj: T): void; 8declare function mapped3<T extends {[P in keyof any]: TakeString}>(obj: T): void; 9declare function mapped4<T>(obj: T & {[P in keyof T]: TakeString}): void; 10declare function mapped5<T, K extends keyof T>(obj: T & {[P in K]: TakeString}): void; 11declare function mapped6<K extends string>(obj: {[P in K]: TakeString}): void; 12declare function mapped7<K extends keyof any>(obj: {[P in K]: TakeString}): void; 13declare function mapped8<K extends 'foo'>(obj: {[P in K]: TakeString}): void; 14declare function mapped9<K extends 'foo'|'bar'>(obj: {[P in K]: TakeString}): void; 15 16mapped1({foo: s => 42}); 17mapped2({foo: s => 42}); 18mapped3({foo: s => 42}); 19mapped4({foo: s => 42}); 20mapped5({foo: s => 42}); 21mapped6({foo: s => 42}); 22mapped7({foo: s => 42}); 23mapped8({foo: s => 42}); 24mapped9({foo: s => 42});