AST: Make GenericSignatureImpl::requirementsNotSatisfiedBy const-correct

AnthonyLatsis · AnthonyLatsis · commit ba26d5701ba9 · 2020-04-23T03:18:43.000+03:00
diff --git a/include/swift/AST/GenericSignature.h b/include/swift/AST/GenericSignature.h
@@ -366,7 +366,7 @@ class alignas(1 << TypeAlignInBits) GenericSignatureImpl final
   /// \param otherSig Another generic signature whose generic parameters are
   /// equivalent to or a subset of the generic parameters in this signature.
   SmallVector<Requirement, 4> requirementsNotSatisfiedBy(
-                                               GenericSignature otherSig);
+                                  GenericSignature otherSig) const;
 
   /// Return the canonical version of the given type under this generic
   /// signature.
diff --git a/lib/AST/GenericSignature.cpp b/lib/AST/GenericSignature.cpp
@@ -592,7 +592,7 @@ bool GenericSignatureImpl::isRequirementSatisfied(Requirement requirement) {
 }
 
 SmallVector<Requirement, 4> GenericSignatureImpl::requirementsNotSatisfiedBy(
-                                                 GenericSignature otherSig) {
+                                            GenericSignature otherSig) const {
   SmallVector<Requirement, 4> result;
 
   // If the signatures match by pointer, all requirements are satisfied.

Original file line number	Diff line number	Diff line change
`@@ -592,7 +592,7 @@ bool GenericSignatureImpl::isRequirementSatisfied(Requirement requirement) {`
`592`	`592`	`}`
`593`	`593`
`594`	`594`	`SmallVector<Requirement, 4> GenericSignatureImpl::requirementsNotSatisfiedBy(`
`595`		`- GenericSignature otherSig) {`
	`595`	`+ GenericSignature otherSig) const {`
`596`	`596`	`SmallVector<Requirement, 4> result;`
`597`	`597`
`598`	`598`	`// If the signatures match by pointer, all requirements are satisfied.`