52 Commits

Author	SHA1	Message	Date
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