5 Commits

Author	SHA1	Message	Date
Michael Goulet	973d589582	Bump COINDUCTIVE_OVERLAP_IN_COHERENCE	2023-10-18 18:54:11 +00:00
Michael Goulet	592163fb71	Extend impl's def_span to include where clauses	2023-10-09 11:47:02 +00:00
Michael Goulet	4647aea7aa	Don't record spans for predicates in coherence	2023-08-30 18:24:18 +00:00
Michael Goulet	0e20155662	more nits	2023-08-15 03:44:21 +00:00
Michael Goulet	56f5704ff8	Implement lint against coinductive impl overlap	2023-08-15 03:40:19 +00:00