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
|
92a78c46ec
|
RequirementMachine: Update remaining tests for requirement machine diagnostics
A handful of cases where we emit a bogus redundancy warning are marked with
'FIXME(rqm-diagnostics)'.
|
2022-05-10 01:49:56 -04:00 |
|
Slava Pestov
|
dbb6c81bef
|
RequirementMachine: Add some test cases reduced from https://github.com/RemiBardon/swift-geo
|
2022-03-27 11:54:28 -04:00 |
|