2 Commits

Author	SHA1	Message	Date
Niko Matsakis	7f8942c18d	Correct nits from @nrc	2015-08-14 09:26:19 -04:00
Niko Matsakis	928955296e	Define the wf and outlives relation separately, unlike the existing ... `implicator`. These definitions are also in accordance with RFC 1214 (or more so), and hence somewhat different from the implicator. This commit also modifies the implicator to remove the older rules for projections, which can easily trigger infinite loops.	2015-08-12 17:57:57 -04:00