5 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	02bfb79935	RequirementMachine: Concrete contraction discards errors from inferred requirements	2022-04-01 23:55:19 -04:00
Slava Pestov	b4b873332f	Update -requirement-machine-* flags in various tests ... - Don't pass 'verify' since it's now the default - Update tests where diagnostics changed in a correct way to pass 'on' instead - Delete compiler_scale/explicit_requirements_perf.swift since it's not testing anything with the requirement machine	2022-03-31 15:57:36 -04:00
Slava Pestov	8e09ba8b45	RequirementMachine: Introduce 'concrete contraction' pre-processing pass before building rewrite system ... See the comment at the top of ConcreteContraction.cpp for a detailed explanation. This can be turned off with the -disable-requirement-machine-concrete-contraction pass, mostly meant for testing. A few tests now run with this pass both enabled and disabled, to exercise code paths which are otherwise trivially avoided by concrete contraction. Fixes rdar://problem/88135912.	2022-02-25 11:48:38 -05:00
Slava Pestov	524e588bf3	GSB: Skip same-type requirement minimization if there are no same-type requirements ... The logic here is pretty expensive, and there's no reason to do it at all if we aren't going to end up with any same-type requirements.	2021-03-26 01:29:42 -04:00