File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -1035,11 +1035,11 @@ bool ConstraintSystem::PotentialBindings::infer(
1035
1035
break ;
1036
1036
}
1037
1037
case ConstraintKind::KeyPathApplication: {
1038
- // If this variable is in the application projected result type, mark the
1039
- // result as `FullyBound` to ensure we delay binding until we've bound
1040
- // other type variables in the KeyPathApplication constraint. This ensures
1041
- // we try to bind the key path type first, which can allow us to discover
1042
- // additional bindings for the result type.
1038
+ // If this variable is in the application projected result type, delay
1039
+ // binding until we've bound other type variables in the key-path
1040
+ // application constraint. This ensures we try to bind the key path type
1041
+ // first, which can allow us to discover additional bindings for the result
1042
+ // type.
1043
1043
SmallPtrSet<TypeVariableType *, 4 > typeVars;
1044
1044
findInferableTypeVars (cs.simplifyType (constraint->getThirdType ()),
1045
1045
typeVars);
You can’t perform that action at this time.
0 commit comments