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	275af8d0fd	RequirementMachine: getTypeForSymbolRange() maps canonical terms to canonical types ... Previously this would only be true with merged associated types, but I want to get rid of those.	2022-01-20 14:18:25 -05:00