54 Commits

Author	SHA1	Message	Date
Florian Diebold	621864319f	Make canonicalization API a bit nicer	2019-05-04 18:18:30 +02:00
Florian Diebold	0ad7317b24	Canonicalize before doing method resolution	2019-05-04 18:18:30 +02:00
Florian Diebold	99492278ac	Implement Deref<Target=[Ty]> for Substs	2019-05-04 18:18:30 +02:00
Florian Diebold	b9c0c2abb7	Chalk integration ... - add proper canonicalization logic - add conversions from/to Chalk IR	2019-05-04 18:18:30 +02:00