Test data infer

test-data.ts

interface Data {
    age?: number;
    a: string | null;
    c: string;
}

function f<T extends Partial<Data>>(d?: T & { [K in keyof T]: K extends keyof Data ? T[K] : never }): Pick<Data & T, keyof Data> {
    return {
        c: 'default',
        a: 'asd',
        ...d,
    };
}

const x = f({
    a: 'asd',
    age: 100
});

x.age.toFixed();
x.a.charAt(1);
x.c.toString();