62 commits

Author	SHA1	Message	Date
Ayaz Hafiz	3fbf4e228b	Remove dominated derives from obligation checking	2022-07-26 20:46:34 -04:00
Ayaz Hafiz	04ee74542d	Rename IncompleteAbility	2022-07-26 20:46:34 -04:00
Ayaz Hafiz	968bd468a8	Use proper members in checking derive keys	2022-07-26 20:46:33 -04:00
Ayaz Hafiz	f2cf7405df	Revert "Use abilities ImplKey in solve" ... This reverts commit b7cb0003134f1b0c657d7173db6965b4247500aa.	2022-07-26 20:46:33 -04:00
Ayaz Hafiz	254d684dfa	Use abilities ImplKey in solve	2022-07-26 20:46:33 -04:00
Ayaz Hafiz	28c1a4cb95	Use ImplKey in abilities store public API	2022-07-26 20:46:33 -04:00
Ayaz Hafiz	e2454f497f	Store declared implementations, both custom and derived, in abilities store	2022-07-25 09:09:01 -04:00
Ayaz Hafiz	6035e45f25	Store derivable ability members statically	2022-07-25 09:09:00 -04:00
Ayaz Hafiz	2e20441157	Num * can't be derived for encoding, but concrete numbers can be	2022-07-15 10:39:09 -04:00
Ayaz Hafiz	7b23077265	Treat numbers as ad-hoc types for the purpose of checking ability obligations	2022-07-15 10:39:09 -04:00
Ayaz Hafiz	088b443e05	Refactor lambda set compaction so it's better split up	2022-07-13 08:47:35 -04:00
Anton-4	eee85fa45d	moved all crates into seperate folder + related path fixes	2022-07-01 17:37:43 +02:00

Renamed from compiler/solve/src/ability.rs (Browse further)