Chayim Refael Friedman 867af5fbb6 When mapping next-solver's dyn type, add Self (aka. bound var ^1.0) to auto traits' substitutions
Chalk represents dyn types as a list of predicate, the self type should be there. The next solver represents them quite differently. The `Self` was forgotten for the auto trait case.
2025-08-28 23:53:55 +03:00
..
2025-07-31 10:55:10 +02:00
2025-08-09 16:08:58 +00:00
2025-08-09 16:08:58 +00:00
2025-07-31 10:55:10 +02:00
2025-07-31 10:55:10 +02:00
2025-06-23 00:50:22 +03:00
2025-07-31 09:55:07 +02:00
2025-08-09 16:08:58 +00:00
2025-08-13 15:28:08 +08:00
2025-06-23 00:50:22 +03:00
2025-08-09 15:47:01 +08:00
2025-06-23 00:50:22 +03:00
2025-07-31 10:55:10 +02:00
2025-07-03 10:05:16 +02:00
2025-07-31 10:55:10 +02:00