mirror of
https://github.com/rust-lang/rust-analyzer
synced 2024-12-30 15:03:42 +00:00
79c874803b
3385: Fix #3373 r=matklad a=flodiebold Basically, we need to allow variables in the caller self type to unify with the impl's declared self type. That requires some more contortions in the variable handling. I'm looking forward to (hopefully) handling this in a cleaner way when we switch to Chalk's types and unification code. Co-authored-by: Florian Diebold <flodiebold@gmail.com> |
||
|---|---|---|
| .. | ||
| infer | ||
| tests | ||
| traits | ||
| autoderef.rs | ||
| db.rs | ||
| diagnostics.rs | ||
| display.rs | ||
| expr.rs | ||
| infer.rs | ||
| lib.rs | ||
| lower.rs | ||
| marks.rs | ||
| method_resolution.rs | ||
| op.rs | ||
| primitive.rs | ||
| test_db.rs | ||
| tests.rs | ||
| traits.rs | ||
| utils.rs | ||