aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer/coerce.rs
Commit message (Collapse)AuthorAgeFilesLines
* Fix coercion from &Foo to an inference variable in a referenceFlorian Diebold2019-12-081-1/+5
| | | | We didn't try to unify within the reference, but we should.
* Check receiver type properlyFlorian Diebold2019-12-021-1/+1
|
* Extract unification code to unify moduleFlorian Diebold2019-12-021-5/+5
|
* Handle cycles in impl types betterFlorian Diebold2019-11-301-5/+2
| | | | | | - 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-16/+6
|
* Move TyAleksey Kladov2019-11-271-0/+354