diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-04-25 21:06:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-25 21:06:34 +0200 |
| commit | 95e9f68eb50cfdaa830b07b3d960a311e4a0e540 (patch) | |
| tree | cbdea99a2b39fc3a006ee565697ee6b90c6488c5 /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | 94dfb3ba78e211ea2a650b7aaeff2b79e0235003 (diff) | |
| parent | bb2cb89ead84128441472ffec7e5c9174ce204e7 (diff) | |
| download | rust-95e9f68eb50cfdaa830b07b3d960a311e4a0e540.tar.gz rust-95e9f68eb50cfdaa830b07b3d960a311e4a0e540.zip | |
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`... :shrug: 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``
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions