Есть ли способ заставить значение sub иметь поле, совпадающее с ключом объекта?

Question

Я хочу создать тип, где значение должно соответствовать ключу объекта. Есть ли способ сделать это в машинописи?

type Foo = {
    [key: string]: {
        target: keyof Foo
    }
};

const foo: Foo = {
    a: {target: "b"},
    b: {target: "c"},
    c: {target: "b"},
}

const goo: Foo = {
    a: {target: "any value"}, // I want this to show an error
    b: {target: "c"},
    c: {target: "b"},
}

Answer 1

Я нашел решение. Но не кажись элегантным.

type Goo<T> = { target: T };
type Foo<K extends string, T extends K> = {[k in K]: Goo<T>};

F({
    a: {target: "a"},
    g: {target: "a"}
});

function F<K extends string, T extends K>(foo: Foo<K, T>) {

}