David Peter ade6a4262a [ty] Remove Specialization::display (full) (#19682) ...

## Summary

This seems to be unused

2025-08-01 10:44:11 +02:00

..

resources

[ty] Support __setitem__ and improve __getitem__ related diagnostics (#19578)

2025-08-01 09:23:27 +02:00

src

[ty] Remove Specialization::display (full) (#19682)

2025-08-01 10:44:11 +02:00

tests

[ty] Track open files in the server (#19264)

2025-07-18 19:33:35 +05:30

build.rs

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00

Cargo.toml

[ty] Split ScopedPlaceId into ScopedSymbolId and ScopedMemberId (#19497)

2025-07-25 13:54:33 +02:00

mdtest.py

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00

mdtest.py.lock

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00