6 commits

Author	SHA1	Message	Date
Florian Diebold	44b00aed4a	Coerce closures to fn pointers ... E.g. `let x: fn(A) -> B = |x| { y };`	2019-12-20 18:54:33 +01:00
Florian Diebold	9c3f00a906	Fix coercion of last expression in function body	2019-12-20 18:28:21 +01:00
Florian Diebold	2a8c9100bf	Handle closure return types ... Fixes #2547.	2019-12-20 18:16:11 +01:00
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)