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 @@ -1118,11 +1118,11 @@ bool PotentialBindings::infer(Constraint *constraint) {
1118
1118
break ;
1119
1119
}
1120
1120
case ConstraintKind::KeyPathApplication: {
1121
- // If this variable is in the application projected result type, mark the
1122
- // result as `FullyBound` to ensure we delay binding until we've bound
1123
- // other type variables in the KeyPathApplication constraint. This ensures
1124
- // we try to bind the key path type first, which can allow us to discover
1125
- // additional bindings for the result type.
1121
+ // If this variable is in the application projected result type, delay
1122
+ // binding until we've bound other type variables in the key-path
1123
+ // application constraint. This ensures we try to bind the key path type
1124
+ // first, which can allow us to discover additional bindings for the result
1125
+ // type.
1126
1126
SmallPtrSet<TypeVariableType *, 4 > typeVars;
1127
1127
findInferableTypeVars (CS.simplifyType (constraint->getThirdType ()),
1128
1128
typeVars);
You can’t perform that action at this time.
0 commit comments