Micha Reiser

[ty] Prototype of --add-ignore CLI option

4

Prototype of https://github.com/astral-sh/ty/issues/913

[ty] Abort printing diagnostics when pressing Ctrl+C

4

## Summary ty has good handling for handling CTRL+C during type checking. However, pressing CTRL+C is completely ignored when printing diagnostics. ty happily keeps spamming your terminal until it has...

[ty] Skip redundancy checks for sub-union-elements

7

## Summary When adding a sub-union to a union, don't compare its elements to each other, as they are already simplified. While the `is_redundant_with` calls are mostly cached, reducing the...

[ty] Update salsa

4

## Summary Salsa now enforces that interned structs and many-argument queries implement `salsa::Update` (or have a `&'static` lifetime). This prevents unsoundness bugs, but requires us to derive `salsa::Update` in a...

[ty] Add `ty.configuration` and `ty.configurationFile` options

3

## Summary This PR adds two new LSP settings: * `configuration`: Inline configuration similar to `ty check --config`. Allows setting configurations in addition to what's configured in the project *...

Support nested projects within a single LSP session

5

## Summary ## Test Plan

`ty_python_semantic` is by far the slowest to-compile crate in ty (and it's in the critical path too). What stands out to me from looking at the timing report (`RUSTC_BOOTSTRAP=1 RUSTFLAGS="-Ztime-passes"...

Large enum takes very long to type check.

3

Type checking the following file takes minutes (730s and counting) on my machine https://gist.github.com/MichaReiser/c2ba46218ce8807356db6c6fa7d0b49e

Find references runs out of memory

1

### Summary > With the language server, I accidentally did a "show all references" on logging and it kept going until it ran out of memory. I'm new to LSPs...