c4a03283cd
Ak 44493 infer predicate **WIP** Implements #44493 Things to do: - [x] add feature gate and appropriate tests (see [forge](https://forge.rust-lang.org/feature-guide.html) for some details) - [x] add a unit testing system similar to `#[rustc_variance]` - [x] to see how, maybe `rg rustc_variance` and take some notes - [ ] add more tests: - [x] we need to decide how to handle `struct Foo<'a, T> { x: &'a T::Item }` - [x] handle explicit predicates on types - [ ] handle explicit predicates on `dyn Trait` (this could be put off to a follow-up PR) - [ ] handle explicit predicates on projections (this could be put off to a follow-up PR) |
||
|---|---|---|
| .. | ||
| debug.rs | ||
| dep_node.rs | ||
| dep_tracking_map.rs | ||
| graph.rs | ||
| mod.rs | ||
| prev.rs | ||
| query.rs | ||
| raii.rs | ||
| README.md | ||
| safe.rs | ||
| serialized.rs | ||
To learn more about how dependency tracking works in rustc, see the rustc guide.