Matthias Krüger
19f6ff0655
Rollup merge of #127159 - Nadrieril:hide-candidate, r=matthewjasper
...
match lowering: Hide `Candidate` from outside the lowering algorithm
The internals of `Candidate` are tricky and a source of confusion. This PR makes it so we don't expose `Candidate`s outside the lowering algorithm. Now:
- false edges are handled in `lower_match_tree`;
- `lower_match_tree` takes a list of patterns as input;
- `lower_match_tree` returns a flat datastructure that contains only the necessary information.
r? ```@matthewjasper```
2024-07-31 23:20:10 +02:00
..
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-29 20:04:55 +03:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-29 17:46:44 +02:00
2024-07-29 11:59:47 -04:00
2024-07-31 15:36:29 +02:00
2024-07-29 07:41:33 +00:00
2024-07-29 07:41:33 +00:00
2024-07-31 15:36:30 +02:00
2024-07-31 15:36:30 +02:00
2024-07-30 17:49:08 +00:00
2024-07-30 17:49:08 +00:00
2024-07-30 14:08:02 +00:00
2024-07-29 17:50:12 +01:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-29 17:46:43 +02:00
2024-07-30 17:49:08 +00:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-30 10:39:33 +00:00
2024-07-29 08:26:52 +10:00
2024-07-29 21:46:59 +00:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-29 14:38:33 +03:00
2024-07-29 23:49:51 +00:00
2024-07-29 08:26:52 +10:00
2024-07-31 00:07:42 -04:00
2024-07-31 23:20:09 +02:00
2024-07-30 10:22:48 +02:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-31 16:03:27 +10:00
2024-07-31 23:20:10 +02:00
2024-07-29 11:59:47 -04:00
2024-07-31 00:59:13 +00:00
2024-07-29 08:26:52 +10:00
2024-07-30 04:31:54 +02:00
2024-07-31 23:20:09 +02:00
2024-07-29 08:26:52 +10:00
2024-07-31 15:36:32 +02:00
2024-07-31 16:03:27 +10:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-31 23:20:09 +02:00
2024-07-29 17:46:42 +02:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-30 03:22:27 +00:00
2024-07-29 08:26:52 +10:00
2024-07-30 20:23:33 +01:00
2024-07-30 17:49:08 +00:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00
2024-07-30 17:49:08 +00:00
2024-07-30 04:31:54 +02:00
2024-07-29 08:26:52 +10:00
2024-07-29 08:26:52 +10:00