github.com/dudykr/stc commits | Ecosyste.ms: OpenCollective

refactor: Refactor module loader to support `@types/node` (#601)

8b614bd5aab83bd35d0f8b3dcb90aa8d243fb380 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Improve handling of deep type guards (#610)

af9da7d96a682d1b8c23c668702076b3e04f1516 authored almost 2 years ago by 오병진 <[email protected]>

feat: Improve handling of deep type guards (#609)

**Description:**

The following forms have been processed.

```ts
//@strict: true

type R...

ced6ed4aa926d6bba39d698338f044d0d30a0b14 authored almost 2 years ago by 오병진 <[email protected]>

fix: Allow more RHS on arithmetic ops based on LHS (#606)

7b201f6354c25666232acc3b315edd9d74cbaf0a authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Improve overload resolution by improving subtype check (#605)

b69e9c2dda2577e9c470128d766d44e8669eafae authored almost 2 years ago by Donny/강동윤 <[email protected]>

refactor: Move type-specific metadata to own types (#604)

**Description:**

- Moved `prevent_tuple_to_array` to `TupleMetadata` from `CommonMetadata`.
...

b5af252b9d4ff143084943399e25113b162f5582 authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Fix type inference of ternary expressions (#603)

547214bfff5cf6f061766e6829de518679db655b authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Allow unknown RHS while checking castability (#602)

ab2190ea74e2021c1f80c2297908eb8d02b50c4b authored almost 2 years ago by Donny/강동윤 <[email protected]>

refactor: Introduce `Analyzer.config` (#599)

3317fc0f5d039e33c81a127f04d9ad1a9e4a0a17 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Support assignment of a class def to a constructor type (#598)

**Description:**

Note: This PR does not implement correct validation logic. We should impleme...

1e1b6977645372e23f71cd5409575a64e26c09ba authored almost 2 years ago by Donny/강동윤 <[email protected]>

refactor: Remove needless `expand` calls (#597)

**Description:**

These are tech debts. In the early days,`access_property` didn't accept `Typ...

397e2bbacc628985ce5ea65e3000dd4dc9803d0b authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Use correct error code for assignments to non-variable (#593)

273356f921c6152b5a45c41527923a86361ebe13 authored almost 2 years ago by Donny/강동윤 <[email protected]>

chore: Use gist for splitting tests into issues (#590)

**Description:**

As splitting tests into GitHub issues is a high-priority task, but it's hard...

efbd9b8469c96e0addd2628587c0dc666f742d60 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Handle `new this()` in static methods (#589)

8b5fad3b580e2a4e2a4a75b0e3f45b75a8cc3f63 authored almost 2 years ago by Donny/강동윤 <[email protected]>

refactor: Don't use `tracing::instrument` for large functions (#588)

**Description:**

rust-analyzer has a limit of the token count of an expanded item, and it res...

270af2d64e4cdcb143c46212cf2fa143ce56b85a authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Handle assignment of a bigint literal to bigint (#587)

370a0efa8913a93db5bbaa02a373efa0ee753147 authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Allow referencing forward parameters (#583)

891ef78a64f08300e91def8407eb546eddcdb7a7 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Improve type facts for `typeof` (#586)

24953f7a522d74743284572041a33ea194104a61 authored almost 2 years ago by Donny/강동윤 <[email protected]>

chore: Update swc (#585)

adac8dfd212be5b9f1a207b26869dd275cb30ffe authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Support deep type guards for destructuring (#582)

485e3055fdc3d2d10cc85ec40bff0df1bf7372bf authored almost 2 years ago by 오병진 <[email protected]>

chore: Reduce compile time (#584)

4033e8b3a1803640fdcf409442a3cc91b900f237 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Support calling functions with `new` (#581)

543072c5eecad67181f8d6f8bbcee2c6ed794bfe authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Don't report an error for `this` in a class body (#580)

2ad85ecb84425a53455041edb938da5300230187 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Add type facts for LHS of `instanceof` (#579)

**Description:**

In the code below, `o` cannot be `null` in the `cons` of the if statement.
...

94df68e419cc35f89623696243752dd139d20549 authored almost 2 years ago by Donny/강동윤 <[email protected]>

perf: Refactor `Name` to prefer short names (#578)

**Description:**

This PR reduces memory usage of `Name` and optimizes for cases where the `Na...

12d44620e3f2e0495e276777d204c5aca0c1f4ed authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Fix evaluation of constructor parameters (#577)

3630551d550435c3a23581c0bee1182f2f82ae51 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Improve intersection reduction (#576)

401798d4e77218e44cf836f0ce400b8f1e987c16 authored almost 2 years ago by 오병진 <[email protected]>

refactor: Move options for `expand` to `ExpandOpts` from `Ctx` (#575)

**Description:**

These options are options, not context. This is a sort of legacy.

b85b53cf40e59005cff576965031dfa1325ad1be authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Allow assigning to super properties using an object pattern (#574)

d446a2b8d3bfd827fb6e533954f4bcc2a708ac86 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Handle assignment of a tuple to a tuple (#567)

**Description:**

- Infer a type parameter as a single-element tuple if the parameter is of a...

79e4597f7c016e4786735250f2f86ecb6dd03915 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Support type guards with destructured vars (#572)

**Related issue:**

- Closes https://github.com/dudykr/stc/issues/552.

---------

Co-aut...

3182a38d2ad9a612c7cae62ea06f9aeb26db7b30 authored almost 2 years ago by 오병진 <[email protected]>

fix: Don't generalize from `access_property` (#571)

**Description:**

This PR fixes `[1, 2, 3][0]`.

14d5ac24b3c4324d6384ae5d207f4fef9e3ae1fb authored almost 2 years ago by Donny/강동윤 <[email protected]>

perf: Migrate simple operations to `replace_type` (#570)

**Description:**

Patched operations:
- `rename_inferred`
- `prevent_tuple_to_array`
- `...

7bbb0c78a937ff909e842bdc5ff29f3c6d0937ed authored almost 2 years ago by Donny/강동윤 <[email protected]>

perf: Migrate tuple normalization to `replace_type` (#569)

b24ce64b0f656a07326b84b2435f90d7614f7a86 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Add `replace_type` to type operations (#568)

**Description:**

The type replacer implements caching logic, and it's based on the generics s...

9f9a49ec7d7a76246318c75031b75e10452b24b7 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Implement more rule for expanding mapped types (#565)

**Description:**

- Make expansion of mapped type recursive.
- Handle `TypeFacts::TypeofEQF...

5a7aa0030d32dc56fc7872b1f2357591f9a407cf authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Handle assignment of an index signature to a mapped type (#564)

64acbed9d56ea36daa4faf1b97c39cb1436b4e79 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Support indexing string with a number-like string (#563)

af44b6a6f0a91b559feab6bd2443cb32c2fe7089 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Use `any` for computed accesses in some cases (#562)

d50808cfeb48bab2b90e70a0296bb797aaabbaf7 authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Change error code for no property in a type paramter (#561)

ccd9736179e5c96b679715acceebc7d745b793a1 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Pass type annotation to class members (#560)

**Related issue:**

- Closes https://github.com/dudykr/stc/issues/302.

2bced2f47483d23c411f1e7d3ca0964e76653d3b authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Fix narrowing with `instanceof` where the constructor returns `any` (#559)

Co-authored-by: Donny/강동윤 <[email protected]>

164e09519365a186c7b74903025a758bd4d5d20e authored almost 2 years ago by 오병진 <[email protected]>

chore: Enable `es2022.intl` builtin (#558)

**Related issue:**

- Closes https://github.com/dudykr/stc/issues/530.

Co-authored-by: Don...

aaab1668936e1bfac73dff4460a5a5c46670e439 authored almost 2 years ago by Y Togami <[email protected]>

fix: Keep `actual_ty` in logical assignment (#557)

b0b0c3235d1bcf53c3e0d194afa8b36aa73c5f53 authored almost 2 years ago by Y Togami <[email protected]>

feat: Handle `TS2804` (#556)

**Description:**

Handles duplicate static and instance names.

```ts
class A {
#b = 1
...

afa79cd5824150c2f7081b3d4a6e6cf9deed2fca authored almost 2 years ago by Jin Wei Tan <[email protected]>

fix: Interpret an array literal as a tuple in arguments (#555)

97bbee21f826ea767efce7e7300afd9c7cba9e27 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Handle `Symbol.iterator` of `Array` (#554)

**Description:**

Iteration over an array should work regardless of the symbol builtin, so I i...

a92d71d838e1abae56922b0191dcbcc60705c222 authored almost 2 years ago by Donny/강동윤 <[email protected]>

chore: Make `.context` record caller location (#553)

16587544d49fa7572c3921affdbef0e26ad91d0b authored almost 2 years ago by Donny/강동윤 <[email protected]>

perf: Remove needless panic contexts (#551)

**Description:**

Panic is relatively rare at now, so this PR removes panic contexts to speed ...

4054593f4c6112de6c565f2de5fe0e197ef738fd authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Handle `globalThis` partially (#550)

**Description:**

This PR removes `NoSuchVar` for `globalThis` and fixes the dummy span issue ...

ebb451d9949c9c46d913d4560a382f02049c1300 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Support appending type elements to an intersection (#549)

5055886916916e529d1c75425e2bc286080b8951 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Return the type from `declare_var*` and `add_vars` (#547)

**Description:**

This avoids the double-validation of patterns.

Changes:

- Generalize ...

9be6601bc31f2d7b5c15e832fd63caef5ca0e65e authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Support type narrowing of an optional chaining with equality (#546)

3bac4a9d5d357ccf019d17d1901f0c47d5dc86af authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Use a separate list for exclusion while narrowing with equals (#545)

92f3192d6842800f6926ef21706c3057c24df1c4 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Don't narrow type on equality comparison with `unknown` (#543)

5d2bfe47afa1f77e7d57f0143e9ffce4d6a0b8c4 authored almost 2 years ago by Donny/강동윤 <[email protected]>

chore: Enable LTO (#542)

**Description:**

Thread-local accesses are not inlined if we don't use LTO. So I decided to u...

0f1ff3e432f0b03752d83d3634b49df91197e813 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Intersect type facts from `cons` and `alt` of an if stmt (#540)

**Description:**

- Interesect type facts from each branch.
- Use `.entry().or_default() |=...

66d184f9cb3f9ece30afb88e35c78b0a1246fc22 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Improve handling of object spreads (#539)

0519236afbb529186e21c999bc2a90a52d78f72d authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Inject `& ({} | null)` if `typeof` equals `object` (#537)

7eef8fcaae24dc7e3d934dfebd912e762eb24096 authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Fix evaluation of `this` and static `this` (#536)

**Description:**

- Create an instance from `StaticThis` instead of `This`.

- Check wheth...

e38bd2bf1310c3c39170c432dbccb6a92d94c755 authored almost 2 years ago by Jin Wei Tan <[email protected]>

feat: Improve reduction of intersection types (#538)

**Description:**

A literal intersected with a non-empty type literal is `never`.

66a558a7eb78d7c1dd1a0318704e5cb51acec6f8 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Improve type narrowing of `any` with `instanceof` (#485)

eea229e0de9ec4ae7ea88d299492ddebf85884df authored almost 2 years ago by 오병진 <[email protected]>

perf: Make debug build faster (#534)

**Description:**

This PR removes needless panic contexts.

5442585ceda0487cb40307a24523b0c96d833d8e authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Resolve some `panic`s (#535)

9039f92b0447d94a4c12c8148016b4f2fb6b6387 authored almost 2 years ago by Y Togami <[email protected]>

fix: Fix condition for exporting within a `.d.ts` file (#533)

**Description:**

This is required for `@types/react`, and it's quite close.

7217472c2c3318c99d5e6b7d9adbc089e4fc86a7 authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Evaluate `declare global` first (#532)

**Description:**

This is required for `@types/react`.

b95504038f224aead2ebe361560753c43c1ba8c4 authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Respect `jsx` option (#531)

**Description:**

JSX is required to validate `@types/react`.

d564e1b39f0ec3d071197cca3b1134941a766253 authored almost 2 years ago by Donny/강동윤 <[email protected]>

perf: Disable some checks for `.d.ts` files (#529)

**Description:**

I'm not sure if this is correct, but these operations can be done later, at ...

6d8c4125fcc17bc63cebd11ec5488987cc9dc193 authored almost 2 years ago by Donny/강동윤 <[email protected]>

perf: Apply `VisitCache` to `GenericExpander` (#527)

**Description:**

`csstype`: 11.4 seconds => 10.2 seconds

**Related issue:**

- Closes h...

9303105218af1610c69f4e1c5800bb216280523c authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Upgrade builtin types (#528)

**Description:**

This PR upgrades builtin types in `./crates//stc_ts_builtin_types/lib/*` and...

08289e740d33f99e71624f8a10bdfed9194bc45f authored almost 2 years ago by Y Togami <[email protected]>

perf: Implement `VisitCache` (#525)

**Related issue:**

- Closes https://github.com/dudykr/stc/issues/522.

517c81af261bc711048979356f87b4e4c52551f5 authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Reduce panic (#526)

9382ef91f3f439bcecd2215e2b08e7db357f1d05 authored almost 2 years ago by Иван Плесских <[email protected]>

perf: Make analysis of `csstype` fast (#521)

**Description:**

This is required for `@types/react`.

b28ba12e591ae87c08db9724c4fe337eab7b16d2 authored almost 2 years ago by Donny/강동윤 <[email protected]>

perf(ts/loader): Optimize cycle detection (#520)

3358a9821b844bd94a359a12e23927060bf3800c authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Evaluate `.d.ts` files in global context (#514)

da61803c9034cad339bacf543e81a5bba57755ff authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Fix evaluation of instantiation expressions (#519)

9d00737b7349de74979be7f4998b8dc6512673e4 authored almost 2 years ago by Donny/강동윤 <[email protected]>

feat: Fix type narrowing with `instanceof` for a constructor returning union (#518)

e28482355dc0684d07189869e8368187637642b7 authored almost 2 years ago by 오병진 <[email protected]>

feat: Improve narrowing with `instanceof` in presence of `prototype` (#517)

b65286bf384c131413d4846885066bf2a3b8c2f5 authored almost 2 years ago by 오병진 <[email protected]>

fix: Change condition for `TS2340` (#516)

**Description:**

Only throw `TS2340` in `ES5`

```typescript
class C {
static a = 1;
...

93cc07d95e2083ef7d6fa698cb0248ac9d0c8dcc authored almost 2 years ago by Jin Wei Tan <[email protected]>

feat: Support getter & setter in an interface (#515)

45d0935cafbe87e3bb2477246933fd38cfa0e30d authored almost 2 years ago by Y Togami <[email protected]>

fix: Change condition for `TS2708` (#512)

e4f617e43a5a6057a33ef057294a8cc81423277d authored almost 2 years ago by 오병진 <[email protected]>

test(ts/checker): Add testing system for `@types` packages (#511)

92aa9503a5cb03ddc7c1f1791b46eb893cf5a6b1 authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Fix static property access with a private key (#510)

7aecf1a2d889ab04377170b9788a540796335e0b authored almost 2 years ago by Jin Wei Tan <[email protected]>

fix: Fix evaluation of template literals (#509)

**Description:**

Previously we were evaluating type-less template literals as a string litera...

4de59ba9e9c926ea58749c373c3cdcf94bf2a7d7 authored almost 2 years ago by Donny/강동윤 <[email protected]>

test(ts/tsc): Remove unused files (#508)

56114f46f22559c9e2c99a9cc15d6e82e147fbc4 authored almost 2 years ago by Donny/강동윤 <[email protected]>

test(ts/tsc): Use raw target string for loading expected errors (#507)

39d0ea8bcfcef4cba06c8ebaf6ed132b4bca07db authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Fix stack overflow caused by nested usage of a class (#505)

**Related issue:**

- Closes https://github.com/dudykr/stc/issues/486.

ac5beb9a98abd1a0978d2b1ade6a9c216992d56b authored almost 2 years ago by Donny/강동윤 <[email protected]>

refactor: Rename `make_clone_cheap` as `freeze` (#504)

baa939bc0489fc4f185b223bee3f253b6de029ef authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Remove symbol form check (#503)

**Description:**

`TS2471` is not relevant anymore.

https://github.com/microsoft/TypeScript...

11a054dde7705b0d8f61f3ace67d814bf3d92d03 authored almost 2 years ago by Donny/강동윤 <[email protected]>

test(ts/base): Make base test faster (#502)

77c34eb67bc7c50a79b3b6440e0bf71988f364ac authored almost 2 years ago by Donny/강동윤 <[email protected]>

test(ts/tsc): Remove duplicates (#501)

91fb9c14e162e3a15e85c218a0506d4e526c8942 authored almost 2 years ago by Donny/강동윤 <[email protected]>

chore: Avoid `unused` clippy error (#500)

e71b27c54c74eca90e432a37ab495ec2471632a2 authored almost 2 years ago by Y Togami <[email protected]>

feat: Allow accessing statics from static members of a class (#499)

cde9223024c5a44e61493fa94ac07ab89f2c60b6 authored almost 2 years ago by Donny/강동윤 <[email protected]>

test(ts/base): Cache `tsc` invokation result (#498)

**Description:**

This is to make iteration speed faster.

6e22c181e134e1944a07193b764a6708e7616c27 authored almost 2 years ago by Donny/강동윤 <[email protected]>

build: Update swc (#497)

04927080640a138c39f2d49455280e3b541f4a0d authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Improve type guard of the form `typeof x === s` (#494)

**Description:**

```
A type guard of the form typeof x === s, where s is a string literal wi...

598dbac9cb21d6691493e3cc6e5dfa665c7e981b authored almost 2 years ago by Y Togami <[email protected]>

feat: Allow accessing static class members while initializing (#496)

81dfeea7a4f2a22fa40130250aef8e4841ed468d authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Use correct type for `??=` and `||=` (#495)

28b0e0f9a685852243ed56595517e78aecdaa586 authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix: Fix panic (#493)

fcf2e3c58eca78aa46fdbe4c16435225b9a2a663 authored almost 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Allow using `this` in static property initilizers (#492)

696a6589861a6d37b30efa26511db06fa3cfa094 authored almost 2 years ago by Donny/강동윤 <[email protected]>