61f8c3ef27
Unify region variables when projecting associated types This is required to avoid cycles when evaluating auto trait predicates. Notably, this is required to be able add Chalk types to `CtxtInterners` for `cfg(parallel_compiler)`. r? @nikomatsakis |
||
---|---|---|
.. | ||
infer | ||
traits | ||
Cargo.toml | ||
lib.rs |