Commit Graph

2 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
d769992143 AST: TypeMatcher should walk into ProtocolCompositionTypes 2022-02-16 14:31:39 -05:00