90ea49b891
This new query returns only the predicates *directly defined* on an item (in contrast to the more common `predicates_of`, which returns the predicates that must be proven to reference an item). These two sets are almost always identical except for traits, where `predicates_of` includes an artificial `Self: Trait<...>` predicate (basically saying that you cannot use a trait item without proving that the trait is implemented for the type parameters). This new query is only used in chalk lowering, where this artificial `Self: Trait` predicate is problematic. We encode it in metadata but only where needed since it is kind of repetitive with existing information. Co-authored-by: Tyler Mandry <tmandry@gmail.com> |
||
|---|---|---|
| .. | ||
| Cargo.toml | ||
| chalk_context.rs | ||
| dropck_outlives.rs | ||
| evaluate_obligation.rs | ||
| lib.rs | ||
| lowering.rs | ||
| normalize_erasing_regions.rs | ||
| normalize_projection_ty.rs | ||
| type_op.rs | ||