8 commits

Author	SHA1	Message	Date
Florian Diebold	f126808b2e	Fix handling of binders in canonicalization ... I'm looking forward to getting rid of this in favor of Chalk's implementation.	2020-02-22 11:09:21 +01:00
Florian Diebold	e50201345e	Normalize associated types in types coming from Chalk ... Fixes #3232.	2020-02-21 14:06:19 +01:00
Kirill Bulatov	eceaf94f19	More manual clippy fixes	2020-02-18 16:12:37 +02: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	e4add45951	Fix #2467 ... The stand-alone `unify` requires that the type doesn't contain any type variables. So we can't share the code here for now (without more refactoring)...	2019-12-03 15:01:23 +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
Aleksey Kladov	a87579500a	Move Ty	2019-11-27 21:16:00 +03:00

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