aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/method_resolution.rs
Commit message (Collapse)AuthorAgeFilesLines
* Exclude methods from non-parameter types introduced by generic constraintsLaurențiu Nicola2020-02-191-6/+11
|
* Run cargo +nightly fix --clippy -Z unstable-optionsKirill Bulatov2020-02-181-6/+6
|
* Check that impl self type matches up with expected self type in path modeFlorian Diebold2020-02-141-0/+9
| | | | Fixes #3144.
* Change Ty::Param to contain param IDFlorian Diebold2020-02-071-1/+1
|
* Lower impl trait to variables, move away from using placeholders where they ↵Florian Diebold2020-02-071-2/+2
| | | | don't belong
* Push resolver further upAleksey Kladov2020-01-141-17/+24
|
* Push resolver upAleksey Kladov2020-01-141-21/+51
|
* Move impls_future to Type, where it belongsAleksey Kladov2020-01-141-2/+1
|
* Move impls to ItemScopeAleksey Kladov2019-12-201-1/+1
|
* Use generic ItemLoc for implsAleksey Kladov2019-12-201-1/+1
|
* Introduce `ContainerId`Aleksey Kladov2019-12-201-1/+1
|
* Rename ContainerId -> AssocContainerIdAleksey Kladov2019-12-201-5/+5
|
* Add body as a possible container for itemsAleksey Kladov2019-12-191-5/+5
|
* Switch to the new location for implsAleksey Kladov2019-12-121-3/+3
|
* Fix #2467Florian Diebold2019-12-031-4/+4
| | | | | The stand-alone `unify` requires that the type doesn't contain any type variables. So we can't share the code here for now (without more refactoring)...
* Refactor a bitFlorian Diebold2019-12-021-42/+56
|
* Check receiver type properlyFlorian Diebold2019-12-021-8/+63
|
* Change order of calls to get method candidate order correctFlorian Diebold2019-12-021-37/+115
|
* Handle cycles in impl types betterFlorian Diebold2019-11-301-4/+5
| | | | | | - impl Trait<Self> for S is allowed - impl Trait for S<Self> is an invalid cycle, but we can add cycle recovery for it in Salsa now
* Memoize impl resolutionsAleksey Kladov2019-11-271-20/+10
|
* Move TyAleksey Kladov2019-11-271-0/+363