2 commits

Author	SHA1	Message	Date
Florian Diebold	a1ed53a4f1	More trait infrastructure ... - make it possible to get parent trait from method - add 'obligation' machinery for checking that a type implements a trait (and inferring facts about type variables from that) - handle type parameters of traits (to a certain degree) - improve the hacky implements check to cover enough cases to exercise the handling of traits with type parameters - basic canonicalization (will probably also be done by Chalk)	2019-04-14 11:28:53 +02:00
Florian Diebold	c947c15ce1	Basics for trait method resolution	2019-03-25 21:28:36 +01:00