157 Commits

Author	SHA1	Message	Date
Slava Pestov	291ddd7a31	RequirementMachine: Plumb through the ModuleDecl used for requirement inference	2021-11-29 13:54:15 -05:00
Slava Pestov	42c0a28ad7	RequirementMachine: Add RequirementMachine::initWithWrittenRequirements()	2021-11-19 15:48:28 -05:00
Slava Pestov	f0899e3acb	RequirementMachine: Make some entry points in RequirementLowering.cpp public	2021-11-19 15:48:07 -05:00
Slava Pestov	28c1178c4f	RequirementMachine: Introduce TypeAliasRequirementsRequest ... This is a verbatim copy of the GenericSignatureBuilder's somewhat questionable (but necessary for source compatibility) logic where protocol typealiases with the same name as some other associated type imply a same-type requirement. The related diagnostics are there too, but only emitted when -requirement-machine-protocol-signatures=on; in 'verify' mode, the GSB will emit the same diagnostics.	2021-11-19 15:48:01 -05:00
Slava Pestov	df8ce67539	RequirementMachine: Refactor requirement lowering	2021-11-12 14:30:46 -05:00
Slava Pestov	67535303b6	RequirementMachine: Move implementation of StructuralRequirementsRequest and ProtocolDependenciesRequest to RequirementLowering.cpp	2021-11-12 14:30:46 -05:00
Slava Pestov	ff5d0e1d63	RequirementMachine: Split off RuleBuilder into a new RequirementLowering.cpp file	2021-11-12 14:30:46 -05:00