diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-10-04 15:58:06 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-04 15:58:06 +0000 |
| commit | 5bdae82947c83fbc742ead628f4845a6933e3323 (patch) | |
| tree | a86d04fb95dc370aa215e8605b328456f1f21703 /src/test/codegen | |
| parent | cf1ea9d0b9241265369b3ba869795ac9bda9f146 (diff) | |
| parent | 3aa37d7f804a776637d516a77842e5198b5d5d9f (diff) | |
| download | rust-5bdae82947c83fbc742ead628f4845a6933e3323.tar.gz rust-5bdae82947c83fbc742ead628f4845a6933e3323.zip | |
Merge #10456
10456: fix: Avoid cycle when lowering predicates for associated item lookup r=flodiebold a=jonas-schievink Fixes https://github.com/rust-analyzer/rust-analyzer/issues/10386 (the salsa bug persists, but this lets us avoid it by fixing the underlying bug) This reimplements the rustc logic in https://github.com/rust-lang/rust/blob/b27661eb33c74cb514dba059b47d86b6582ac1c2/compiler/rustc_typeck/src/collect.rs#L556: When resolving an associated type `T::Item`, we've previously lowered all predicates that could affect `T`, but we actually have to look only at those predicates whose traits define an associated type of the right name. Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>
Diffstat (limited to 'src/test/codegen')
0 files changed, 0 insertions, 0 deletions