3 Commits

Author	SHA1	Message	Date
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	1784aee148	Add '-requirement-machine-protocol-signatures=verify -requirement-machine-inferred-signatures=verify' to a few validation tests	2022-02-17 19:40:58 -05:00
Doug Gregor	fe7ba8b79b	[GSB] Pull typo correction for nested types into delayed reqs handling. ... Rather than performing typo correction at the very end of finalize(), do it as part of delayed requirement handling when we cannot otherwise make progress. This is a cleaner way to cope with typo correction that gives us a better chance of getting to a sane result. Fixes rdar://problem/31048352 by eliminating the need for tracking the number of unresolved potential archetypes altogether. Fixes rdar://problem/32077627.	2017-06-19 22:47:33 -07:00