Skip to content

Commit f57f001

Browse files
authored
Handle borrows of unions in NLL
1 parent bc430eb commit f57f001

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

text/2094-nll.md

+2
Original file line numberDiff line numberDiff line change
@@ -1563,6 +1563,8 @@ follows:
15631563

15641564
- any loans whose region does not include P are killed;
15651565
- if this is a borrow statement, the corresponding loan is generated;
1566+
- if the borrow contains a union field, loans are generated for all
1567+
prefixes of the union field;
15661568
- if this is an assignment `lv = <rvalue>`, then any loan for some path P
15671569
of which `lv` is a prefix is killed.
15681570

0 commit comments

Comments
 (0)