1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
|
//// [contextualTypeOfIndexedAccessParameter.ts]
type Keys = "a" | "b";
type OptionsForKey = { a: { cb: (p: number) => number } } & { b: {} };
declare function f<K extends Keys>(key: K, options: OptionsForKey[K]): void;
f("a", {
cb: p => p,
});
function g<
K extends "a" | "b">(x: ({ a: string } & { b: string })[K], y: string) {
x = y;
}
//// [contextualTypeOfIndexedAccessParameter.js]
"use strict";
f("a", {
cb: function (p) { return p; }
});
function g(x, y) {
x = y;
}
|