2 commits

Author	SHA1	Message	Date
Ariel Ben-Yehuda	b23648fe4a	improve the printing of substs and trait-refs	2016-04-05 22:56:23 +03:00
Ariel Ben-Yehuda	a43533a1f5	simplify and reduce the size of EvaluationResult	2015-11-15 19:22:32 +02:00