example.ts

Mapped type example

interface example {
    "a": number,
    "b": string,
    "c": {x: number, y: string, z: any },
    "d": {val: keyof example}
}

function test<T extends keyof example> (p1: T, p2: example[T]): void {
    console.log(p1, p2);
}

test("a", 1);
test("b", "hej");
test("c", {x:1, y:"hej", z: undefined});
test("d", {val: "a"});