interface R {
    p: number;
}

function f<K extends keyof R>(p: K) {
    let a: any;
    a[p].add; // Error: 'add' does not exist on type any[K]
}