7 Commits

Author	SHA1	Message	Date
Slava Pestov	ea15d9f9b2	Stop passing -warn-redundant-requirements in tests	2024-02-02 14:57:19 -05:00
Slava Pestov	f39372b33d	RequirementMachine: Turn off redundant requirement warnings by default and add -warn-redundant-requirements frontend flag	2022-05-10 01:49:56 -04:00
Slava Pestov	0111618c50	RequirementMachine: Perform concrete contraction on protocol requirement signatures	2022-05-09 21:21:35 -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	4b7b24c530	Disable test/Generics/concrete_conformances_in_protocol.swift ... This was only passing before because -requirement-machine-protocol-signatures=verify only checked conformance requirements, and it would return the GSB's result if there was a mismatch. It actually never did the right thing with the Requirement Machine. Disable it until rdar://problem/88135912 is fixed.	2022-02-04 19:10:59 -05:00
Slava Pestov	e4973158d8	AST: -debug-generic-signatures protocol-qualifies DependentMemberTypes	2022-01-19 22:36:15 -05:00
Slava Pestov	b999cea0f7	RequirementMachine: Try to minimize away concrete conformances first	2021-12-08 00:53:35 -05:00