RequirementMachine: Freeze machines built from signatures immediately

slavapestov · slavapestov · commit e2a509c48357 · 2022-03-26T00:56:41.000-04:00
diff --git a/lib/AST/RequirementMachine/RequirementMachine.cpp b/lib/AST/RequirementMachine/RequirementMachine.cpp
@@ -98,6 +98,8 @@ RequirementMachine::initWithProtocolSignatureRequirements(
 
   auto result = computeCompletion(RewriteSystem::DisallowInvalidRequirements);
 
+  freeze();
+
   if (Dump) {
     llvm::dbgs() << "}\n";
   }
@@ -145,6 +147,8 @@ RequirementMachine::initWithGenericSignature(CanGenericSignature sig) {
 
   auto result = computeCompletion(RewriteSystem::DisallowInvalidRequirements);
 
+  freeze();
+
   if (Dump) {
     llvm::dbgs() << "}\n";
   }

Original file line number	Diff line number	Diff line change
`@@ -98,6 +98,8 @@ RequirementMachine::initWithProtocolSignatureRequirements(`
`98`	`98`
`99`	`99`	`auto result = computeCompletion(RewriteSystem::DisallowInvalidRequirements);`
`100`	`100`
	`101`	`+ freeze();`
	`102`	`+`
`101`	`103`	`if (Dump) {`
`102`	`104`	`llvm::dbgs() << "}\n";`
`103`	`105`	`}`
`@@ -145,6 +147,8 @@ RequirementMachine::initWithGenericSignature(CanGenericSignature sig) {`
`145`	`147`
`146`	`148`	`auto result = computeCompletion(RewriteSystem::DisallowInvalidRequirements);`
`147`	`149`
	`150`	`+ freeze();`
	`151`	`+`
`148`	`152`	`if (Dump) {`
`149`	`153`	`llvm::dbgs() << "}\n";`
`150`	`154`	`}`