feat: Implement property access about non-primitive constraints of IAT

[sunrabbit123]

Description:

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;
}
function f<T extends object, P extends keyof T>(s: string, tp: T[P]): void {
    tp = s;
}

BREAKING CHANGE:

Related issue (if exists):
#1063

---

status

function f12<T, U extends T>(x: T, y: Partial<U>, k: keyof T) {
    x[k] = y[k];  // Error
    y[k] = x[k];  // Error
}

• type inference
• merge test: Support more directives in file analyzer testing system #1069
• merge fix: Fix panic from parse().unwrap() at generic inference #1070
• merge Fix: add assign feature about indexed access type #1071
• merge feat: Support accessing nom primitive constraint of an empty object #1072
• implement assign type(T[keyof T] = U[keyof T] | undefined , U[keyof T] | undefined = T[keyof T])
• merge feat: Union the type of an optional property of a mapped type with undefined #1073
• remove increased extra error...

[github-actions]

Thank you for the PR!
Commit: a3a68b2

Files to check

These are files which is affected by the current PR, but not reflected. If there's no file below this message, please ignore this message.

You can run ./scripts/auto-unignore.sh from crates/stc_ts_file_analyzer for typescript files, and ./scripts/check.sh from crates/stc_ts_type_checker for *.stats.rust-debug files.

[sunrabbit123]

I can't help but feel like I'm approaching this the wrong way.

TypeParam can't be keyofed beforehand because when it receives an argument value, it receives a value that inherits the constraints.

But in some cases it does

Why???