Jonathan Brouwer
77658bcda3
Rollup merge of #152593 - spirali:valtreekind-list, r=lcnr
...
Box in `ValTreeKind::Branch(Box<[I::Const]>)` changed to `List`
This is related to trait system refactoring. It fixes the FIXME in `ValTreeKind`
```
// FIXME(mgca): Use a `List` here instead of a boxed slice
Branch(Box<[I::Const]>),
```
It introduces `Interner::Consts`, changes `Branch(Box<[I::Const]>)` to `Branch(I::Consts)`, and updates all relevant places.
r? lcnr
2026-03-06 18:49:47 +01:00
..
2025-08-01 20:04:59 +00:00
2026-02-02 18:13:43 -08:00
2026-02-09 07:59:24 -08:00
2025-11-25 06:13:45 +01:00
2026-01-05 08:08:52 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-08-01 20:04:59 +00:00
2025-08-01 20:04:59 +00:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-10-13 15:20:49 +02:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-01-14 18:57:17 +08:00
2025-11-25 06:13:45 +01:00
2023-01-11 09:32:08 +00:00
2024-12-04 23:03:44 +01:00
2023-01-11 09:32:08 +00:00
2024-12-04 23:03:44 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-23 15:17:01 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2024-08-18 16:58:26 -04:00
2025-11-25 06:13:45 +01:00
2024-08-18 16:58:26 -04:00
2024-08-18 16:58:26 -04:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2023-01-11 09:32:08 +00:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2024-08-18 16:58:26 -04:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-03-02 11:57:03 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-03-02 11:57:03 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-06-16 23:04:33 +00:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2025-11-25 06:13:45 +01:00
2025-11-29 15:59:11 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2023-01-11 09:32:08 +00:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2026-02-02 18:13:43 -08:00
2025-11-25 06:13:45 +01:00
2025-08-01 20:04:59 +00:00
2026-02-23 23:32:56 +08:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00
2025-11-25 06:13:45 +01:00