3 commits

Author	SHA1	Message	Date
Eduard Burtescu	23f0494114	test: add more extensive tests for impl Trait.	2016-08-12 06:46:31 +03:00
Eduard Burtescu	08bf9f69b9	typeck: leak auto trait obligations through impl Trait.	2016-08-12 06:46:31 +03:00
Eduard Burtescu	d92e594c38	typeck: record impl Trait concrete resolutions.	2016-08-12 06:43:34 +03:00