Douglas Creager fa76f6cbb2 [red-knot] Use arena-allocated association lists for narrowing constraints (#16306) ... This PR adds an implementation of [association lists](https://en.wikipedia.org/wiki/Association_list), and uses them to replace the previous `BitSet`/`SmallVec` representation for narrowing constraints. An association list is a linked list of key/value pairs. We additionally guarantee that the elements of an association list are sorted (by their keys), and that they do not contain any entries with duplicate keys. Association lists have fallen out of favor in recent decades, since you often need operations that are inefficient on them. In particular, looking up a random element by index is O(n), just like a linked list; and looking up an element by key is also O(n), since you must do a linear scan of the list to find the matching element. Luckily we don't need either of those operations for narrowing constraints! The typical implementation also suffers from poor cache locality and high memory allocation overhead, since individual list cells are typically allocated separately from the heap. We solve that last problem by storing the cells of an association list in an `IndexVec` arena. --------- Co-authored-by: Carl Meyer <carl@astral.sh>		2025-02-25 10:58:56 -05:00
..
src	[red-knot] Use arena-allocated association lists for narrowing constraints (#16306)	2025-02-25 10:58:56 -05:00
Cargo.toml	Transition to salsa coarse-grained tracked structs (#15763)	2025-02-11 11:38:50 +01:00