Commit b4fe5df
committed
[CS] Avoid introducing Void closure result binding for hole
If we have a hole binding for the result of a closure, avoid
introducing Void as an additional binding since that'll just cause
local solution ambiguities. This doesn't affect regular type-checking
since we end up treating such ambiguities as "identical", so we just
pick one. But for completion, we don't do such filtering so need to
make sure we end up with the hole solution to avoid treating Void as
the contextual type for cases such as:
```
_ = {
x.#^CC^#
}
```
Currently we avoid this by not handling holes in `repairFailures`
for closure body locators, but I'm changing that in the next commit.1 parent 23ee6fb commit b4fe5df
1 file changed
+4
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2681 | 2681 | | |
2682 | 2682 | | |
2683 | 2683 | | |
| 2684 | + | |
| 2685 | + | |
2684 | 2686 | | |
2685 | | - | |
| 2687 | + | |
| 2688 | + | |
2686 | 2689 | | |
2687 | 2690 | | |
2688 | 2691 | | |
| |||
0 commit comments