12 commits

Author	SHA1	Message	Date
Florian Diebold	2d5ab63247	Add &dyn Trait -> &dyn SuperTrait coercion, and fix &T -> &dyn Trait	2020-02-22 11:09:21 +01:00
Florian Diebold	0dfbbaf03b	Implement dyn Trait unsizing as well	2020-02-22 11:09:21 +01:00
Florian Diebold	de39d221a1	Implement unsize coercion using proper trait solving	2020-02-22 11:09:21 +01:00
Florian Diebold	e14e7ffa34	Fix coercion of &T to itself ... The autoderef coercion logic did not handle matching placeholders. This led to some type mismatches.	2020-02-16 12:58:20 +01:00
Florian Diebold	4789a993eb	Fix printing of function types	2020-02-07 18:28:10 +01:00
Aleksey Kladov	6ca19b2188	Standard formatting for array types	2020-01-28 15:32:20 +01:00
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)