averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

[CSSimplify] For function type binding for key path types, add flag

Browse Source 
to allow it to go through resolveKeyPath in matchTypesBindTypeVar.
This commit is contained in:
Amritpan Kaur
2023-08-15 10:39:50 -07:00
parent b2f46ba26f
commit feb0f34993
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lib/Sema/CSSimplify.cpp
View File

@@ -6827,8 +6827,9 @@ ConstraintSystem::matchTypes(Type type1, Type type2, ConstraintKind kind,
// unexpected state for key path diagnostics should we fail.
if (locator->isLastElement<LocatorPathElt::KeyPathType>() &&
type2->is<AnyFunctionType>())
return matchTypesBindTypeVar(typeVar1, type2, kind, flags, locator,
formUnsolvedResult);
return matchTypesBindTypeVar(typeVar1, type2, kind,
flags | TMF_BindingTypeVariable,
locator, formUnsolvedResult);
}
// Performance optimization: Propagate fully or partially resolved