[to do] implement type param indexing

[sunrabbit123]

// @strict: true


function l<T extends {}, P extends keyof T>(s: string, tp: T[P]): void {
    tp = s;
}
function m<T extends { a: number }, P extends keyof T>(s: string, tp: T[P]): void {
    tp = s;
}

T[P] should be number, but stc emit any;

Tasks

Beta Give feedback

1. feat: Support accessing nom primitive constraint of an empty object #1072
   +0
2. feat: Implement property access about non-primitive constraints of IAT #1067
   +0

[sunrabbit123]

resolve #1067