Commit 359eeec
committed
[region-isolation] Add a test showing that we do not infer nonisolated(unsafe) onto named closures.
The semantics we want is for nonisolated(unsafe) to be inferred onto anonymous
closures. We already have that semantics since we do not look through move_value
[var_decl] or begin_borrow [var_decl]. So even though the underlying
partial_apply will be viewed as nonisolated(unsafe), we will not consider that
when determining the nonisolated(unsafe) for the begin_borrow or move_value that
defined the variable whose value is the partial_apply.1 parent 4976be8 commit 359eeec
File tree
1 file changed
+14
-0
lines changed- test/Concurrency
1 file changed
+14
-0
lines changedLines changed: 14 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1026 | 1026 | | |
1027 | 1027 | | |
1028 | 1028 | | |
| 1029 | + | |
| 1030 | + | |
| 1031 | + | |
| 1032 | + | |
| 1033 | + | |
| 1034 | + | |
| 1035 | + | |
| 1036 | + | |
| 1037 | + | |
| 1038 | + | |
| 1039 | + | |
| 1040 | + | |
| 1041 | + | |
| 1042 | + | |
1029 | 1043 | | |
0 commit comments