Commit Graph

5 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
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
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
a0b180f846 Sema: Diagnose missing entries in protocol inheritance clause when requirement machine is enabled
This diagnostic used to be emitted by the GenericSignatureBuilder when
building a requirement signature, but we can just do the check in
Sema using generic signature queries instead.

Fixes rdar://problem/90192939.
2022-04-05 18:40:37 -04:00
Slava Pestov
6095065590 RequirementMachine: Add a performance/diagnostics test case 2022-03-16 13:26:37 -04:00