Module rustc_borrowck::prefixes
source · Expand description
From the NLL RFC: “The deep [aka ‘supporting’] prefixes for an place are formed by stripping away fields and derefs, except that we stop when we reach the deref of a shared reference. […] “
“Shallow prefixes are found by stripping away fields, but stop at
any dereference. So: writing a path like a
is illegal if a.b
is borrowed. But: writing a
is legal if *a
is borrowed,
whether or not a
is a shared or mutable reference. […] “
Structs
Prefixes 🔒