2 Commits

Author	SHA1	Message	Date
Danny Mösch	58928b7e40	Enforce any on existential types (#5273) ... This makes syntactically clear which types are rather expensive.	2023-10-12 08:37:23 +02:00
JP Simard	eaf34d7204	Move extra rules into its own module (#4949) ... This will decouple building extra rules from built-in rules so that making changes in one of those modules doesn't rebuild the other.	2023-04-27 10:37:30 -04:00