13 commits

Author	SHA1	Message	Date
Aleksey Kladov	9faea2364d	Use dyn Trait for working with databse ... It improves compile time in `--release` mode quite a bit, it doesn't really slow things down and, conceptually, it seems closer to what we want the physical architecture to look like (we don't want to monomorphise EVERYTHING in a single leaf crate).	2020-03-16 17:42:30 +01:00
Florian Diebold	de39d221a1	Implement unsize coercion using proper trait solving	2020-02-22 11:09:21 +01:00
Kirill Bulatov	eceaf94f19	More manual clippy fixes	2020-02-18 16:12:37 +02:00
Kirill Bulatov	b8ddcb0652	Run cargo +nightly fix --clippy -Z unstable-options	2020-02-18 16:03:08 +02:00
Florian Diebold	dded90a748	Formatting	2020-02-07 18:28:10 +01:00
Florian Diebold	ed25cf70d5	Change Ty::Param to contain param ID	2020-02-07 18:28:10 +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	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	456d52fdfa	Check receiver type properly	2019-12-02 19:33:13 +01:00
Florian Diebold	599dab5982	Extract unification code to unify module	2019-12-02 19:33:13 +01:00
Florian Diebold	cf6809645e	Handle cycles in impl types better ... - 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	2019-11-30 12:57:32 +01:00
Aleksey Kladov	8d34696826	Memoize impl resolutions	2019-11-27 22:12:09 +03:00
Aleksey Kladov	a87579500a	Move Ty	2019-11-27 21:16:00 +03:00

Renamed from crates/ra_hir/src/ty/infer/coerce.rs (Browse further)