Skip to content

Commit 2ee5aee

Browse files
committed
RequirementMachine: InferredGenericSignatureRequest returns parent generic signature if completion fails
1 parent db801a5 commit 2ee5aee

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

lib/AST/RequirementMachine/RequirementMachineRequests.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -522,7 +522,8 @@ InferredGenericSignatureRequestRQM::evaluate(
522522
diag::requirement_machine_completion_rule,
523523
rule);
524524

525-
auto result = GenericSignature::get(genericParams, {});
525+
auto result = GenericSignature::get(genericParams,
526+
parentSig.getRequirements());
526527
return GenericSignatureWithError(
527528
result, GenericSignatureErrorFlags::CompletionFailed);
528529
}

0 commit comments

Comments
 (0)