**Description:**

We should distinguish this at some time in the future, but for now, I think ...

**Description:**

Previously we didn't visit some type nodes while expanding generics.

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

**Description:**

- Change the type of variables declared to rest patterns
- Handle rest in...

**Description:**

- Convert wrong intersection types into `never`.
- Normalize elements of ...

- Handle optional rest patterns.
- Handle optional chain assignment in LHS.
- Handle option ch...

**Description:**

Due to deep nesting, there was code not formatted by `rustfmt.`

**Related issue:**

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

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

**Description:**

1. Make parameters of methods bivariant.
2. Normalize `Type::Instance` whil...

**Description:**

As type annotations are provided by the user, we should not generalize them ...

**Description:**

This PR moves the reversing logic for the variance of function parameters fr...

**Description:**

This PR deduplicates `testing_macros` and upgrades it to v0.2.

**Related ...

**Description:**

- Allow assignment of void in function return values.
- Fix variance hand...

**Description:**

- Change `Type::new_union_without_dedup` to prevent creating an invalid type.

**Description:**

1. Configure `cspell`.
2. Reorder function parameters.

**Related issue:*...

- Allow calling intersection types.
- Merge intersections as a type literal on assignments.
...

- Fix handling of conditional expressions.
- Add unit testing system for the analyzer.

- Flatten type literals on assignment.
- Teat `boolean` as `true | false` on assignments.

stc_ts_file_analyzer:
- Make function return type covariant.
- Use `OldTypeForm` in more cas...

stc_ts_file_analyzer:
- Allow more operands in string additions.
- Don't generalize the RHS ...

stc_ts_file_analyzer:
- `normalize_for_assign`: Normalize `Type::Instance` where it can be nor...

stc_ts_module_loader:
- Return `ModuleId` even on failure.

stc_ts_ordering:
- Postpone cycles...

stc_ts_file_analyzer:
- Collect all bindings before type checking.
- Allow lazy variable resol...

stc_ts_testing:
- Apply `ts_resolver`.

stc_ts_ordering:
- Use `swc_graph_analyzer` to detect ...

stc_ts_types:
- Add `Namespace` type.

stc_ts_module_loader:
- Support `/// <reference types="...

stc_arc_cow:
- Use `VisitMut` for freezing types.

stc_ts_types:
- Use `stc_arc_cow::freeze::F...

arc_cow:
- Optimize `TypeEq` using `ptr_eq`.
- Optimize `PartialEq` using `ptr_eq`.
- Make `A...

stc_ts_module_loader:
- Prevent double parsing.

stc_ts_type_checker:
- Support handling file ...

- Handle importing with `/// reference`.
- Support `declare module "http"`.
- Use `FileName` ...

This is the groundwork before splitting the analyzer into multiple crates.

stc_file_analyzer:
- Merge visualization tests.
- Remove `golden.txt`.

stc_ts_type_checker:
...

- Use `unknown` if for the return type if there was a conflict in type inference.
- Handle var...

- Add caching to `keyof`.
- Move some fields from `Ctx` to `InferTypeOpts`.
- `expand_type_pa...

stc_ts_errors:
- Add `dump_type_map`.

stc_ts_file_analyzer:
- `insert_inferred`: Accept type ...

stc_ts_file_analyzer:
- Remove `DuplicateTracker`.
- `assign`: Handle overloaded assignents of...

stc_utils:
- Remove panic context on release build.

stc_ts_types:
- Make `ValidityChecker` fa...

stc_ts_types:
- Hide `Frrezed.ty`.
- Check validity while freezing.
- Skip `fix` for freezed ...

stc_ts_types:
- Add `LitType`.
- Add `KeywordType`.
- Add `ThisType`.
- Add metadata types f...

stc_ts_types:
- Verify that the span of `TypeElement` does not pass any metadata.
- Verify tha...

stc_ts_utils:
- Add `Freeze`.
- Add `CacheMap<K, V>`.

stc_ts_file_analyzer:
- Add `type_of_n...

- `assign`: Change order of arguments.
- Use declared type while inferring type arguments for ...

- `type_of_var`: Disallow using class definitions as L-value.
- `type_of_var`: Report error fo...

- Recover from error of the key of a computed member expression.
- Change logic for validating...

- Use correct error for wrong const enum initializers.
- Report an error for a computed property...

- Reduce clone. (Closes #4)
- `assign`: Add a fast path for array assignments.
- `assign`: Add a...

- Fix type fact handling of if statements.
- Don't mark a variable as `Truthy` if it's an argume...

- Use correct logic for assigning class members.
- `assign`: Handle class method assignment co...

- Use type annotations for default values of a pattern.
- Use type annotations for key-value pro...