4 commits

Author	SHA1	Message	Date
Oli Scherer	8206cffc48	Merge check_mod_impl_wf and check_mod_type_wf	2024-03-07 06:27:09 +00:00
Michael Goulet	4647aea7aa	Don't record spans for predicates in coherence	2023-08-30 18:24:18 +00:00
Michael Goulet	2ae4bedd85	more span info	2023-08-15 03:40:19 +00:00
bohan	b7921981d5	fix: inline predicate_may_hold_fatal	2023-06-16 11:09:53 +08:00