Commit b17ec0e
committed
[CSSimplify] Broaden delay of the key path assignment
If key path is connected to a disjunction directly or indirectly
(i.e. via ApplicableFunction constraint) do not attempt to bind
it until disjunction is taken, otherwise there is a risk to miss
a valid keypath-to-function conversion.1 parent cc0e621 commit b17ec0e
File tree
2 files changed
+15
-2
lines changed- lib/Sema
- test/expr/unary/keypath
2 files changed
+15
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
12409 | 12409 | | |
12410 | 12410 | | |
12411 | 12411 | | |
12412 | | - | |
| 12412 | + | |
| 12413 | + | |
12413 | 12414 | | |
12414 | 12415 | | |
12415 | 12416 | | |
| |||
12436 | 12437 | | |
12437 | 12438 | | |
12438 | 12439 | | |
12439 | | - | |
| 12440 | + | |
| 12441 | + | |
12440 | 12442 | | |
12441 | 12443 | | |
12442 | 12444 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1213 | 1213 | | |
1214 | 1214 | | |
1215 | 1215 | | |
| 1216 | + | |
| 1217 | + | |
| 1218 | + | |
| 1219 | + | |
| 1220 | + | |
| 1221 | + | |
| 1222 | + | |
| 1223 | + | |
| 1224 | + | |
| 1225 | + | |
| 1226 | + | |
0 commit comments