diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-06 19:50:55 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-03-06 19:50:55 +0000 |
commit | 26ae35c62e29610552167d8cfced8e7e19096576 (patch) | |
tree | 7eaa1d80fffcd5a02f3652c1938d3eb7fbb5475c /crates/ra_hir/src/semantics | |
parent | a42f29166b2b771927fef6061dd427f82eb28d68 (diff) | |
parent | d17c5416af3d90b4c827224d4cd73366fa5a294b (diff) |
Merge #3499
3499: Resolve `Self::AssocTy` in impls r=matklad a=flodiebold
To do this we need to carry around the original resolution a bit, because `Self`
gets resolved to the actual type immediately, but you're not allowed to write
the equivalent type in a projection. (I tried just comparing the projection base
type with the impl self type, but that seemed too dirty.) This is basically how
rustc does it as well.
Fixes #3249.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/semantics')
0 files changed, 0 insertions, 0 deletions