**Description:**

Fix some panic caused by nolib directive.

**Related issue:**

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

**Description:**

- `spread_args`: Preserve type paramters.
- `infer_arg_types`: Handle spr...

<!-- Note: CI script will automatically rebase your PR so please do not
rebase unless required -...

**Description:**

We don't need owned functions for the assignment of query types.

**Description:**

This PR
- ignores a flaky test case.
- makes conformance test suite by r...

**Description:**

This PR makes the conformance test suite print the error codes of required e...

**Description:**

This PR implements a multi-file module loader for the conformance test suite.

**Description:**

`v0.1.0` will not support checking javascript files.

**Description:**

This. is a groundwork for multi-file tests.

**Description**:

This PR implements a parser for `@filename` directives and converts the igno...

**Description:**

- Remove duplicate unit tests.
- Migrate unit tests to pass-only tests.
...

**Description:**

As I refactored recursion of call/new expressions, we can now reduce the sta...

**Description:**

- Use type annotations even if the type parameter exists.
- Pass down ann...

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

**Description:**

This PR adds code to handle the case when a class extends another class with...

**Description:**

- Instantiate types while validating return types.
- Improve `get_awaited...

**Description:**

- Handle assignment of an enum variant to a literal.

**Description:**

- Rename variables.
- Removes needless logic in `assign`.
- Cleanup cod...

**Description:**

- Make `assign` try normalizing a mapped type in LHS.

**Description:**

- Make tuple assignment aware of a non-last rest element.
- Make tuple in...

**Description:**

The unit testing system was broken due to https://github.com/dudykr/stc/pull...

**Description:**

This PR improves the expansion of mapped types and also improves the assignm...

**Description:**

Now it also shows the normalized form.

**Description:**

This PR also fixes `readonly` handling of `append_type`.

---------

Co-...

**Description:**

The pass-only tests are far better for the project velocity.

**Description:**

Previously, we didn't use the type annotations for generic calls. This was d...

**Description:**

This PR moves fields of the `Analyzer` into `AnalyzerData` and stores the `A...

**Description:**

This PR updates logic in `report_errors_for_wrong_implementations_of_class` ...

**Description:**

Previously,

```ts
type Constructor<T> = new (...args: any[]) => T;

cl...

**Description:**

Previously

```ts
type F = (s: string) => string;
type G = (x: any) => ...

**Description:**

Previously

```ts
var fn = function (s: string) { return 42; }
var fn = ...

**Description:**

This PR adds *ignored* unit tests to the file analyzer to make verification ...

**Description:**

- Check for empty arguments while determining overload.
- Change the erro...

**Description:**

`tsc` implicitly deletes `| null | undefined` if an `infer F` is used as the...