Matthias Krüger 95e9f68eb5
Rollup merge of #110671 - compiler-errors:polarity, r=lcnr
Consider polarity in new solver

It's kinda ugly to have a polarity check in all of the builtin impls -- I guess I could consider the polarity at the top of assemble-builtin but that would require adding a polarity fn to `GoalKind`...

🤷 putting this up just so i dont forget, since it's needed to bootstrap core during coherence (this alone does not allow core to bootstrap though, additional work is needed!)

r? ``@lcnr``
2023-04-25 21:06:34 +02:00
..
2023-04-20 15:06:17 -03:00
2023-04-16 23:09:57 +00:00
2023-04-20 15:06:17 -03:00
2023-04-17 16:09:18 -04:00
2023-04-22 01:13:54 +00:00
2023-04-07 18:07:11 +10:00
2023-04-21 02:14:02 -07:00
2023-04-16 11:38:52 +00:00
2023-04-19 19:13:45 +00:00
2023-04-21 02:45:48 -07:00
2023-04-11 10:27:57 +02:00
2023-04-19 19:13:45 +00:00
2023-04-13 22:10:26 -05:00
2023-04-05 15:59:29 +00:00
2023-04-25 05:02:39 +00:00
2023-04-13 22:10:26 -05:00
2023-04-13 22:10:26 -05:00