Feat: not implement keyof this

[sunrabbit123]

Description:

implement keyof this

// @strict: true
// @declaration: true

type OldDiff<T extends keyof any, U extends keyof any> = (
    & { [P in T]: P; }
    & { [P in U]: never; }
    & { [x: string]: never; }
)[T];
interface A {
    a: 'a';
}
interface B1 extends A {
    b: 'b';
    c: OldDiff<keyof this, keyof A>;
}
type c1 = B1['c']; // 'c' | 'b'

Related issue (if exists):

[github-actions]

Thank you for the PR!
Commit: 8be5db7

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]

Other than with_child, is there a better way to specify the scope as that object?

[kdy1]

You mean you only want to change scope.this?

[kdy1]

If so, I simply modifed self.scope.this like

stc/crates/stc_ts_file_analyzer/src/analyzer/class/mod.rs

Line 2461 in 81792e8

self.scope.this = old_this;

[kdy1]

If you want to ensure that you don't forget resetting self.scope.this, you can do like

let old_this = self.scope.this.take();
self.scope.this = new_this;
let result = (|| {
    // your code.
})();
self.scope.this = old_this;

[sunrabbit123]

I want a scope outside of the traditional context.
Like when you call a closure, the closure doesn't use the caller's scope.

Of course, it's fine to do it now or with the code you suggested for now.

[kdy1]

Thanks!