- `CondExpr`: Respect type annotation.
- `infer_type`: Prevent stack overflow.
- `assign`: Allow...

- Allow assigning `undefined` to optional properties if we are checking castability.
- Generaliz...

- Implement declaration merging.
- Allow interfaces to extend a class.
- Preserve type parameter...

- Reduce size of `rnode::NodeId`.
- Don't store `null` or `undefined` as an actual type.
- De...

- Configure ci.
- Update rustc.

- Make declaring_fn check for parent scopes.
- Support object rest pattern partially.
- Allow en...

- `expand`: Handle `A.B.C`.
- Allow assigning to a variable with any type.
- Allow declaring var...

- Remove `ClassInstance`.
- Add `ClassDef`.
- Instantiate class within type annotations of a var...

- Don't expand params and return types while validating assignment expressions.
- Report error i...

- Unbox types and errors.
- Disable logging on release builds.

- Use static assertion to check size of types.
- Reduce size of `Key`.
- Add metadata to `TypeLi...

- Add `Error::AssignOfUnionFailed`.
- Support calling functions with new.
- Support calling t...

stc_ts_file_analyzer:
- Evaluate call / new twice.
- Don't remove type params if required.
- ...

stc_file_analyzer:
- Report error for implicit anys.
- Track if a function has return type.
-...

stc_ts_file_analyzer:
- Treat `test` of an if statement as condition.
- Disallow narrowing `an...

stc_ts_file_analyzer:
- Convert more type to type literals.
- Add constructor - constructor ty...

stc_ts_file_analyzer:
- Report error for invalid template literal in enum initializer.
- Valid...

stc_ts_errors:
- Compact debug impl for `DebugContext`.

stc_ts_types:
- Add accessibility to ...

stc_ts_errors:
- Reduce the size of `Error` to 128 bytes from 400+ bytes.
- Add tests for size...

- Visual testing for types.

- System to use official typescript test suite.

Note: These are ...

- Now information related to `.d.ts` generations are stored in `Mutations`, and it is applied af...