blob: 78b46ff5c40e3430b16d507091a936415cccdb19 (
plain)
1
2
3
4
5
6
7
|
- On borrow, calculate lifetime of asignment (using existing lifetime code)
- Ignore reborrows?
- Visit all statements in that lifetime and locate places where the borrow is propagated/stored
- Requires lifetime parameters on functions/&-ptrs to be present
- Assignment of the source value during the lifetime of the borrow is an error
- Dropping of the source value is an error
- Returning the borrow is an error
|
