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

..

src

Rollup merge of #110671 - compiler-errors:polarity, r=lcnr

2023-04-25 21:06:34 +02:00

Cargo.toml

drop unused deps, gate libc under unix for one crate

2023-04-22 15:22:21 +03:00

messages.ftl

Simplify message paths

2023-03-11 22:51:57 +01:00