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	20a913d208	SIL: Workaround for GenericSignatureBuilder bug ... The GSB will drop same-type requirements sometimes, when the right hand side is smaller than the left. Change the order when adding these requirements, which seems to work well enough for my reduced testcase. Also, ensure that everything works correctly with the RequirementMachine, which doesn't have the same underlying problems with same-type requirement handling. Fixes rdar://86431977.	2021-12-15 23:17:39 -05:00