summary refs log tree commit diff
path: root/src/test/ui/chalkify/trait-objects.rs
AgeCommit message (Collapse)AuthorLines
2020-10-30Fix various Chalk lowering bugsMatthew Jasper-0/+13
- 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