3 commits

Author	SHA1	Message	Date
Florian Diebold	d0c9bb0abf	Fix coercion from &Foo to an inference variable in a reference ... We didn't try to unify within the reference, but we should.	2019-12-08 13:06:59 +01:00
Florian Diebold	f86fe3d891	Don't unify within a reference ... If we are expecting a `&Foo` and get a `&something`, when checking the `something`, we are *expecting* a `Foo`, but we shouldn't try to unify whatever we get with that expectation, because it could actually be a `&Foo`, and `&&Foo` coerces to `&Foo`. So this fixes quite a few false type mismatches.	2019-12-06 15:15:26 +01:00
Aleksey Kladov	a87579500a	Move Ty	2019-11-27 21:16:00 +03:00

Renamed from crates/ra_hir/src/ty/tests/coercion.rs (Browse further)