diff options
| author | Matthew Jasper <mjjasper1@gmail.com> | 2020-10-28 20:04:39 +0000 |
|---|---|---|
| committer | Matthew Jasper <mjjasper1@gmail.com> | 2020-10-30 19:39:33 +0000 |
| commit | acb6a061237053971bc75ca6477b39a8cbf13822 (patch) | |
| tree | a8f43f0a93258fc05549b2c944aeb1b2d3530bbe /compiler/rustc_mir/src/transform/coverage/debug.rs | |
| parent | 299a65ff71413de0fc26d880219402ceb7fa1bcb (diff) | |
| download | rust-acb6a061237053971bc75ca6477b39a8cbf13822.tar.gz rust-acb6a061237053971bc75ca6477b39a8cbf13822.zip | |
Fix various Chalk lowering bugs
- Add more well-known traits - Use the correct binders when lowering trait objects - Use correct substs when lowering trait objects - Use the correct binders for opaque_ty_data - Lower negative impls with the correct polarity - Supply associated type values - Use `predicates_defined_on` for where clauses
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions