2 Commits

Author	SHA1	Message	Date
Slava Pestov	dac8d666ee	Stop passing -requirement-machine-{abstract,inferred,protocol}-signatures flags in tests ... These flags are now no-ops.	2022-05-10 12:56:17 -04:00
Slava Pestov	c5df7870b4	RequirementMachine: Fix for redundant protocol refinement via concrete type requirements	2021-12-20 17:59:31 -05:00