Skip to content

Commit 7410c09

Browse files
committed
[CSGen] No longer allow _ allow to be a hole directly
Problems related to incorrect use of `_` where previously diagnosed by syntactic diagnostics which meant that it could only happen on type-checked AST. This is no longer a case so we don't have to allow incorrect uses of `_` to form solution without any fixes.
1 parent 4b3d075 commit 7410c09

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

lib/Sema/CSGen.cpp

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3068,8 +3068,7 @@ namespace {
30683068
}
30693069

30703070
auto locator = CS.getConstraintLocator(expr);
3071-
auto typeVar = CS.createTypeVariable(locator, TVO_CanBindToNoEscape |
3072-
TVO_CanBindToHole);
3071+
auto typeVar = CS.createTypeVariable(locator, TVO_CanBindToNoEscape);
30733072
return LValueType::get(typeVar);
30743073
}
30753074

0 commit comments

Comments
 (0)