Merge pull request #39541 from hamishknight/dynamic-programming

This commit is contained in:
Hamish Knight
2021-10-05 21:11:01 +01:00
committed by GitHub
6 changed files with 59 additions and 31 deletions

View File

@@ -1606,8 +1606,7 @@ ConstraintSystem::filterDisjunction(
// be attempted in-place because that would also try to operate on that
// constraint, so instead let's keep the disjunction, but disable all
// unviable choices.
if (choice->getOverloadChoice().getKind() ==
OverloadChoiceKind::KeyPathDynamicMemberLookup) {
if (choice->getOverloadChoice().isKeyPathDynamicMemberLookup()) {
// Early simplification of the "keypath dynamic member lookup" choice
// is impossible because it requires constraints associated with
// subscript index expression to be present.