4 Commits

Author	SHA1	Message	Date
Michael Goulet	13e8b13e15	Handle Self in paths too	2023-08-25 19:05:38 +00:00
Esteban Küber	5ae8e23816	Mention fn coercion rules (needs to be expanded)	2023-01-30 21:51:33 +00:00
Michael Goulet	9a39d7e441	Note predicate span on ImplDerivedObligation	2023-01-11 19:46:45 +00:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00