summaryrefslogtreecommitdiff
path: root/A place is anything that is valid to put on the left-hand side of an assignment.md
blob: cd679e7b56d928926f903ba4818769c1afac137d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
[[Borrow checker]]

It is not THE left hand side of an assignment but anything that is valid to put there. But they can appear anywhere from what it looks like.

It includes:
- variables `a`
- dereferences of places `*a`
- Array accesses of places `a[0]`
- Fields of places `a.0`
- Any combination of the above

The borrow checker expects a place to have certain permissions depending on the operation.