d17c5416af
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. |
||
|---|---|---|
| .. | ||
| coerce.rs | ||
| expr.rs | ||
| pat.rs | ||
| path.rs | ||
| unify.rs | ||