stc

stc copied to clipboard

If strictNullCheck is true ```ts class C { private p: string; } var strOrC: string | C; var c: C; // A type guard of the form typeof x ===...

sunrabbit123

```ts interface A { a: 'a'; } namespace C { interface B1 extends A { b: 'b'; c: OldDiff; } } type c1 = C.B1['c']; // 'c' | 'b' ```...

sunrabbit123

refactor: Use `&self` instead of `&mut` when possible

2

**Description:** This is required for #1042, which requires to recurse into self. **Related issue (if exists):**

kdy1

feat: Relate rest parameters correctly

1

**Description:**

kdy1

feat: Implement more assignment rules

1

**Description:** **Related issue (if exists):**

kdy1

We don't need `Mutex` for `ErrorStore`. (Regression caused by https://github.com/dudykr/stc/pull/1045)

kdy1

Preliminary benchmarks

1

Are there any early benchmarks that compare stc to tsc? Curious to see what level of improvement stc would provide.

achung89

fix: Fix type inference with type annotations

1

**Description:** **Related issue:** - Closes #929. - Closes #930.

kdy1

feat(lsp): Dump type on hover

1

**Description:** Not sure how can I implement this at the moment, but I'll try.

kdy1

stc fails to find type alias circular references

1

Given this input ```ts type A = A2; type A2 = A; ``` stc will print  Log ERROR (1) Failed to find type: A2#2 at crates/stc_ts_file_analyzer/src/analyzer/scope/mod.rs:2261 in Expander::expand_ref in...

awareness481